{"name":"nl-compiler","vers":"0.1.0","deps":[{"name":"clap","req":"^4.5.31","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"flussab","req":"^0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"flussab-aiger","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"petgraph","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"safety-net","req":"^0.3.0","features":["graph"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.219","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"sv-parser","req":"^0.13.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0.16","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"833260bec376c6ce5133fbfc1d16cc41ea71e10d3d240d9ca008f98ba1ffc97a","features":{"default":[],"serde":["safety-net/serde"]},"yanked":false,"pubtime":"2026-01-15T05:26:08Z"}
{"name":"nl-compiler","vers":"0.1.1","deps":[{"name":"clap","req":"^4.5.31","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"flussab","req":"^0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"flussab-aiger","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"petgraph","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"safety-net","req":"^0.3.2","features":["graph"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.219","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"sv-parser","req":"^0.13.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0.16","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"8e75a36beb8811f198f05d122a269be6b8ee690044dae69cbb4ff3ed6685fe92","features":{"default":[],"serde":["safety-net/serde"]},"yanked":false,"pubtime":"2026-01-23T21:05:49Z"}
{"name":"nl-compiler","vers":"0.1.2","deps":[{"name":"clap","req":"^4.5.31","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"flussab","req":"^0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"flussab-aiger","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"petgraph","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"safety-net","req":"^0.3.2","features":["graph"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.219","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"sv-parser","req":"^0.13.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0.16","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"4a4659342f61975a6d76a693283a22ea663994dd410b8ede26a492a73934db86","features":{"default":[],"serde":["safety-net/serde"]},"yanked":false,"pubtime":"2026-01-23T22:57:30Z"}
{"name":"nl-compiler","vers":"0.1.3","deps":[{"name":"clap","req":"^4.5.31","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"flussab","req":"^0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"flussab-aiger","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"petgraph","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"safety-net","req":"^0.3.3","features":["graph"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.219","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"sv-parser","req":"^0.13.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0.16","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"e472b134c40d31b1606f3c2c34ac850daf953c23739322f5df526a22573f35c3","features":{"default":[],"serde":["safety-net/serde"]},"yanked":false,"pubtime":"2026-01-26T20:03:48Z"}
{"name":"nl-compiler","vers":"0.1.4","deps":[{"name":"clap","req":"^4.5.31","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"flussab","req":"^0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"flussab-aiger","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"petgraph","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"safety-net","req":"^0.3.4","features":["graph"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.219","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"sv-parser","req":"^0.13.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0.16","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"892f9956594665026db0396aa626ad279bee676b860e47588350dedad3c2270a","features":{"default":[],"serde":["safety-net/serde"]},"yanked":false,"pubtime":"2026-01-26T20:28:58Z"}
{"name":"nl-compiler","vers":"0.1.5","deps":[{"name":"clap","req":"^4.5.31","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"flussab","req":"^0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"flussab-aiger","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lipsum","req":"^0.9.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"petgraph","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rand","req":"^0.8.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"safety-net","req":"^0.3.8","features":["graph"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.219","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"sv-parser","req":"^0.13.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0.16","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"d1dbb73fb52786f1ce09550e30ed57ec40a82cc1c11f8f22d49278c1b103e888","features":{"default":[],"serde":["safety-net/serde"]},"yanked":false,"pubtime":"2026-01-27T07:54:18Z"}
{"name":"nl-compiler","vers":"0.1.6","deps":[{"name":"clap","req":"^4.5.31","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"flussab","req":"^0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"flussab-aiger","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lipsum","req":"^0.9.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"petgraph","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rand","req":"^0.8.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"safety-net","req":"^0.3.8","features":["graph"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.219","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"sv-parser","req":"^0.13.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0.16","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"baa8478e8bf94f98ad6388ce3f0c25364e809737540e87557f1e7c7fc237ec29","features":{"default":[],"serde":["safety-net/serde"]},"yanked":false,"pubtime":"2026-01-27T23:06:33Z"}
{"name":"nl-compiler","vers":"0.1.7","deps":[{"name":"clap","req":"^4.5.31","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"flussab","req":"^0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"flussab-aiger","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lipsum","req":"^0.9.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"petgraph","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rand","req":"^0.8.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"safety-net","req":"^0.3.9","features":["graph"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.219","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"sv-parser","req":"^0.13.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0.16","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"5cc20da9fb06ddee85f06198ceb528bad49adcda226b26a86e6370c2739c9907","features":{"default":[],"serde":["safety-net/serde"]},"yanked":false,"pubtime":"2026-01-27T23:37:29Z"}
{"name":"nl-compiler","vers":"0.1.8","deps":[{"name":"clap","req":"^4.5.31","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"flussab","req":"^0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"flussab-aiger","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lipsum","req":"^0.9.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"petgraph","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rand","req":"^0.8.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"safety-net","req":"^0.3.9","features":["graph"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.219","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"sv-parser","req":"^0.13.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0.16","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"c6fb1bf7adf4c642cbf4506b0eec54cf0f7d5f7a156f92487bf501634b36bd5e","features":{"default":[],"serde":["safety-net/serde"]},"yanked":false,"pubtime":"2026-01-28T00:40:57Z"}
{"name":"nl-compiler","vers":"0.1.9","deps":[{"name":"clap","req":"^4.5.31","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"flussab","req":"^0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"flussab-aiger","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lipsum","req":"^0.9.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"petgraph","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rand","req":"^0.8.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"safety-net","req":"^0.4.1","features":["graph"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.219","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"sv-parser","req":"^0.13.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0.16","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"5a120bda6f69a5ef1bd6a0d213262bc6f1861fe080f85c42ac04b4ec1de233c8","features":{"default":[],"serde":["safety-net/serde"]},"yanked":false,"pubtime":"2026-02-10T18:24:48Z"}
{"name":"nl-compiler","vers":"0.1.10","deps":[{"name":"clap","req":"^4.5.31","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"flussab","req":"^0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"flussab-aiger","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lipsum","req":"^0.9.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"petgraph","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rand","req":"^0.8.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"safety-net","req":"^0.4.2","features":["graph"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.219","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"sv-parser","req":"^0.13.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0.16","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"4d6c6e2b2e6271d9368868d6d8ceafbb19906b41d03be0a2b0d9e05446355089","features":{"default":[],"serde":["safety-net/serde"]},"yanked":false,"pubtime":"2026-02-11T22:35:41Z"}
{"name":"nl-compiler","vers":"0.1.11","deps":[{"name":"clap","req":"^4.5.31","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"flussab","req":"^0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"flussab-aiger","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lipsum","req":"^0.9.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"petgraph","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rand","req":"^0.8.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"safety-net","req":"^0.5.0","features":["graph"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.219","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"sv-parser","req":"^0.13.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0.16","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"37ac7f2ff42fcbee5b477b599ace2d7b2c028527aba9aba6e16cb4c527ac6657","features":{"default":[],"serde":["safety-net/serde"]},"yanked":false,"pubtime":"2026-02-12T20:57:17Z"}
{"name":"nl-compiler","vers":"0.1.12","deps":[{"name":"clap","req":"^4.5.31","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"flussab","req":"^0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"flussab-aiger","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lipsum","req":"^0.9.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"petgraph","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rand","req":"^0.8.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"safety-net","req":"^0.5.1","features":["graph"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.219","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"sv-parser","req":"^0.13.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0.16","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"115a2b30a3b329404060e4cf9ef3d40461a4679dc46757999ff9de1a86882e76","features":{"default":[],"serde":["safety-net/serde"]},"yanked":false,"pubtime":"2026-02-16T22:23:45Z"}
{"name":"nl-compiler","vers":"0.1.13","deps":[{"name":"clap","req":"^4.5.31","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"flussab","req":"^0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"flussab-aiger","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lipsum","req":"^0.9.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"petgraph","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rand","req":"^0.8.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"safety-net","req":"^0.5.3","features":["graph"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.219","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"sv-parser","req":"^0.13.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0.16","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"4be2af903b93bb50055b00c8fd864d6e30a916b839a92ba23fa93f168ad4574a","features":{"default":[],"serde":["safety-net/serde"]},"yanked":false,"pubtime":"2026-02-20T07:51:48Z"}
{"name":"nl-compiler","vers":"0.1.14","deps":[{"name":"clap","req":"^4.5.31","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"flussab","req":"^0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"flussab-aiger","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lipsum","req":"^0.9.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"petgraph","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rand","req":"^0.8.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"safety-net","req":"^0.5.4","features":["graph"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.219","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"sv-parser","req":"^0.13.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0.16","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"d8e138bcd1e87af4b63670f5fc676d65b549a1eb3b4c1fb4ca2902e90c4618f0","features":{"default":[],"serde":["safety-net/serde"]},"yanked":false,"pubtime":"2026-02-26T07:57:17Z"}
{"name":"nl-compiler","vers":"0.1.15","deps":[{"name":"clap","req":"^4.5.31","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"flussab","req":"^0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"flussab-aiger","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lipsum","req":"^0.9.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"petgraph","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rand","req":"^0.8.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"safety-net","req":"^0.5.5","features":["graph"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.219","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"sv-parser","req":"^0.13.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0.16","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"ee50c22172508d5a4824e8e8f17067b87edef92583e33266a91e02293dee54b2","features":{"default":[],"serde":["safety-net/serde"]},"yanked":false,"pubtime":"2026-03-12T04:38:34Z"}
{"name":"nl-compiler","vers":"0.1.16","deps":[{"name":"clap","req":"^4.5.31","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"flussab","req":"^0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"flussab-aiger","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lipsum","req":"^0.9.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"petgraph","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rand","req":"^0.8.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"safety-net","req":"^0.6.0","features":["graph"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.219","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"sv-parser","req":"^0.13.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0.16","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"b2b319e176dd63a6ac24aa1fd9ee7184094082317443800073277636dafb5004","features":{"default":[],"serde":["safety-net/serde"]},"yanked":false,"pubtime":"2026-03-15T22:58:09Z"}
{"name":"nl-compiler","vers":"0.1.17","deps":[{"name":"clap","req":"^4.5.31","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"flussab","req":"^0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"flussab-aiger","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lipsum","req":"^0.9.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"petgraph","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rand","req":"^0.8.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"safety-net","req":"^0.6.1","features":["graph"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.219","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"sv-parser","req":"^0.13.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0.16","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"baac3e8827277ff1347b57138270029f9638466341b898521e235cb9b35dd18e","features":{"default":[],"serde":["safety-net/serde"]},"yanked":false,"pubtime":"2026-03-16T02:48:54Z"}
{"name":"nl-compiler","vers":"0.1.18","deps":[{"name":"clap","req":"^4.5.31","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"flussab","req":"^0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"flussab-aiger","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lipsum","req":"^0.9.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"petgraph","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rand","req":"^0.8.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"safety-net","req":"^0.6.3","features":["graph"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.219","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"sv-parser","req":"^0.13.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0.16","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"0b9b792657f0adb1bb3651f2cf3fb0d845dbe9343df419caeeb5b03f6f1b00af","features":{"default":[],"serde":["safety-net/serde"]},"yanked":false,"pubtime":"2026-04-21T18:09:01Z"}
{"name":"nl-compiler","vers":"0.1.19","deps":[{"name":"clap","req":"^4.5.31","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"flussab","req":"^0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"flussab-aiger","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lipsum","req":"^0.9.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"petgraph","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rand","req":"^0.8.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"safety-net","req":"^0.7.0","features":["graph"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.219","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"sv-parser","req":"^0.13.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0.16","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"7ea22fcdcbdee63ff63b1b54bc69ea7573cf1502fcca7a91b6b0680ee95801c5","features":{"default":[],"serde":["safety-net/serde"]},"yanked":false,"pubtime":"2026-05-07T19:24:21Z"}
{"name":"nl-compiler","vers":"0.1.20","deps":[{"name":"clap","req":"^4.6.1","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"flussab","req":"^0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"flussab-aiger","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lipsum","req":"^0.9.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"petgraph","req":"^0.8.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rand","req":"^0.8.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"safety-net","req":"^0.7.1","features":["graph"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.228","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"sv-parser","req":"^0.13.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0.18","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"4ed6923e021e4a416991dfb9eb43c7992509b089c5bb1b92a0bed5553bf1ab77","features":{"default":[],"serde":["safety-net/serde"]},"yanked":false,"pubtime":"2026-06-04T23:55:09Z"}
{"name":"nl-compiler","vers":"0.1.21","deps":[{"name":"clap","req":"^4.6.1","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"flussab","req":"^0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"flussab-aiger","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lipsum","req":"^0.9.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"petgraph","req":"^0.8.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rand","req":"^0.8.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"safety-net","req":"^0.8.0","features":["graph"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.228","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"sv-parser","req":"^0.13.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0.18","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"8a03383575a6453a04eef7e6821baf595dfc5199627f2f6947d5537e6fd88672","features":{"default":[],"serde":["safety-net/serde"]},"yanked":false,"pubtime":"2026-06-06T00:23:13Z"}
{"name":"nl-compiler","vers":"0.1.22","deps":[{"name":"clap","req":"^4.6.1","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"flussab","req":"^0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"flussab-aiger","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lipsum","req":"^0.9.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"petgraph","req":"^0.8.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rand","req":"^0.8.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"safety-net","req":"^0.9.0","features":["graph"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.228","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"sv-parser","req":"^0.13.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0.18","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"c5ef298d2f6c37a98bb526ebf0dee4cf3752d3d3881ab59bede33ed0f813eaaf","features":{"default":[],"serde":["safety-net/serde"]},"yanked":false,"pubtime":"2026-06-10T23:54:21Z"}
{"name":"nl-compiler","vers":"0.1.23","deps":[{"name":"clap","req":"^4.6.1","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"flussab","req":"^0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"flussab-aiger","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lipsum","req":"^0.9.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"petgraph","req":"^0.8.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rand","req":"^0.8.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"safety-net","req":"^0.10.0","features":["graph"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.228","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"sv-parser","req":"^0.13.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0.18","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"7e9ad61ec0f85c13b56acbecd1dab8ed998145d656cd40ac2bde2ce0f79cc70a","features":{"default":[],"serde":["safety-net/serde"]},"yanked":false,"pubtime":"2026-07-09T04:14:27Z"}
{"name":"nl-compiler","vers":"0.1.24","deps":[{"name":"clap","req":"^4.6.1","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"flussab","req":"^0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"flussab-aiger","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lipsum","req":"^0.9.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"petgraph","req":"^0.8.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rand","req":"^0.8.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"safety-net","req":"^0.10.0","features":["graph"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.228","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"sv-parser","req":"^0.13.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0.18","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"7bc976fa5658f131a6f693eb9669fda00544b137058193fc244e038f67164784","features":{"default":[],"serde":["safety-net/serde"]},"yanked":false,"pubtime":"2026-07-10T22:19:19Z"}
{"name":"nl-compiler","vers":"0.1.25","deps":[{"name":"clap","req":"^4.6.1","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"flussab","req":"^0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"flussab-aiger","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lipsum","req":"^0.9.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"petgraph","req":"^0.8.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rand","req":"^0.8.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"safety-net","req":"^0.10.0","features":["graph"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.228","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"sv-parser","req":"^0.13.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0.18","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"d5e1b0162ac3f8c0aa9e606ea11b6e6afaedc57ec40f8be49ce4568bc2fe1d82","features":{"default":[],"serde":["safety-net/serde"]},"yanked":false,"pubtime":"2026-07-10T22:29:41Z"}
{"name":"nl-compiler","vers":"0.1.26","deps":[{"name":"clap","req":"^4.6.1","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"flussab","req":"^0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"flussab-aiger","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lipsum","req":"^0.9.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"petgraph","req":"^0.8.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rand","req":"^0.8.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"safety-net","req":"^0.10.0","features":["graph"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.228","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"sv-parser","req":"^0.13.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0.18","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"fdce4252bcb03387100b54c64b28c3b7e4b7a3c16f8399c4bad69cef2c94714b","features":{"default":[],"serde":["safety-net/serde"]},"yanked":false,"pubtime":"2026-07-10T22:46:57Z"}
{"name":"nl-compiler","vers":"0.1.27","deps":[{"name":"clap","req":"^4.6.1","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"flussab","req":"^0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"flussab-aiger","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lipsum","req":"^0.9.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"petgraph","req":"^0.8.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rand","req":"^0.8.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"safety-net","req":"^0.10.0","features":["graph"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.228","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"sv-parser","req":"^0.13.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0.18","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"03f16de685fe2091e0c69915621b35dbcca7f839e2529b31d9e4de89effc11cc","features":{"default":[],"serde":["safety-net/serde"]},"yanked":false,"pubtime":"2026-07-12T04:09:18Z"}
{"name":"nl-compiler","vers":"0.1.28","deps":[{"name":"clap","req":"^4.6.1","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"flussab","req":"^0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"flussab-aiger","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lipsum","req":"^0.9.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"petgraph","req":"^0.8.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rand","req":"^0.8.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"safety-net","req":"^0.10.0","features":["graph"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.228","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"sv-parser","req":"^0.13.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0.18","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"9eeee4f259fbc473b5a03fbcf265f55c7df3bce43a1487ee67fb2d372ca37cdb","features":{"default":[],"serde":["safety-net/serde"]},"yanked":false,"pubtime":"2026-07-12T20:37:37Z"}
{"name":"nl-compiler","vers":"0.2.0","deps":[{"name":"clap","req":"^4.6.1","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"flussab","req":"^0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"flussab-aiger","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lipsum","req":"^0.9.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"petgraph","req":"^0.8.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rand","req":"^0.8.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"safety-net","req":"^0.10.0","features":["graph"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.228","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"sv-parser","req":"^0.13.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0.18","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"6847ece6b3543fc63b4ee103c89cf6653dbc26922f9d80b6c44eedda9cfa4dfd","features":{"default":[],"serde":["safety-net/serde"]},"yanked":false,"pubtime":"2026-07-13T03:33:52Z"}
{"name":"nl-compiler","vers":"0.2.1","deps":[{"name":"clap","req":"^4.6.1","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"flussab","req":"^0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"flussab-aiger","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lipsum","req":"^0.9.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"petgraph","req":"^0.8.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rand","req":"^0.8.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"safety-net","req":"^0.11.0","features":["graph"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.228","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"sv-parser","req":"^0.13.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0.18","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"1691b6aeb58818ccf665e73933bb435480baca754755a71c58f7256a1dd6e0ba","features":{"default":[],"serde":["safety-net/serde"]},"yanked":false,"pubtime":"2026-07-29T01:40:34Z"}
{"name":"nl-compiler","vers":"0.2.2","deps":[{"name":"clap","req":"^4.6.1","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"flussab","req":"^0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"flussab-aiger","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lipsum","req":"^0.9.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"petgraph","req":"^0.8.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rand","req":"^0.8.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"safety-net","req":"^0.12.1","features":["graph"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.228","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"sv-parser","req":"^0.13.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0.18","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"96937b8f9b01432d325c6bb9dda0fb114549589d8a81f85d95739454d5b2ca62","features":{"default":[],"serde":["safety-net/serde"]},"yanked":false,"pubtime":"2026-08-04T00:34:05Z"}
{"name":"nl-compiler","vers":"0.2.3","deps":[{"name":"clap","req":"^4.6.1","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"flussab","req":"^0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"flussab-aiger","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lipsum","req":"^0.9.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"petgraph","req":"^0.8.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rand","req":"^0.8.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"safety-net","req":"^0.13.0","features":["graph"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.228","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"sv-parser","req":"^0.13.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0.18","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"5f55e782b127abb591498bb6990f10c9af72d11e1b9c387c9e5c2d47d5602e12","features":{"default":[],"serde":["safety-net/serde"]},"yanked":false,"pubtime":"2026-08-20T21:28:13Z"}
{"name":"nl-compiler","vers":"0.2.4","deps":[{"name":"clap","req":"^4.6.1","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"flussab","req":"^0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"flussab-aiger","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lipsum","req":"^0.9.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"petgraph","req":"^0.8.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rand","req":"^0.8.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"safety-net","req":"^0.14.0","features":["graph"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.228","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"sv-parser","req":"^0.13.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0.18","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"2e4231897c8b6141fa028de4dd0e967b855fe2fd8b8a6dc304b33f266e3bb924","features":{"default":[],"serde":["safety-net/serde"]},"yanked":false,"pubtime":"2026-08-24T22:12:01Z"}
{"name":"nl-compiler","vers":"0.2.5","deps":[{"name":"clap","req":"^4.6.1","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"flussab","req":"^0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"flussab-aiger","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lipsum","req":"^0.9.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"petgraph","req":"^0.8.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rand","req":"^0.8.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"safety-net","req":"^0.14.0","features":["graph"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.228","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"sv-parser","req":"^0.13.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0.18","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"fb2c0dd825c18f45a14418918a2907827cd930250bd03417443891a7448eba15","features":{"default":[],"serde":["safety-net/serde"]},"yanked":false,"pubtime":"2026-08-24T23:32:18Z"}
{"name":"nl-compiler","vers":"0.2.6","deps":[{"name":"clap","req":"^4.6.1","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"flussab","req":"^0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"flussab-aiger","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lipsum","req":"^0.9.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"petgraph","req":"^0.8.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rand","req":"^0.8.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"safety-net","req":"^0.14.0","features":["graph"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.228","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"sv-parser","req":"^0.13.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0.18","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"8050844cdf2363802862db8f9b352ce6f6148edb88b670834854f0056e746929","features":{"default":[],"serde":["safety-net/serde"]},"yanked":false,"pubtime":"2026-08-24T23:40:12Z"}
{"name":"nl-compiler","vers":"0.3.0","deps":[{"name":"clap","req":"^4.6.1","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"flussab","req":"^0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"flussab-aiger","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lipsum","req":"^0.9.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"petgraph","req":"^0.8.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rand","req":"^0.8.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"safety-net","req":"^0.14.0","features":["graph"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.228","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"sv-parser","req":"^0.13.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0.18","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"10ac7e61a4cbbf048ce5bdb4468ac7231b0bca7a4eb926c77b746c9e0fcbc1e0","features":{"default":[],"serde":["safety-net/serde"]},"yanked":false,"pubtime":"2026-08-26T20:44:04Z"}
{"name":"nl-compiler","vers":"0.3.1","deps":[{"name":"clap","req":"^4.6.1","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"flussab","req":"^0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"flussab-aiger","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lipsum","req":"^0.9.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"petgraph","req":"^0.8.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rand","req":"^0.8.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"safety-net","req":"^0.14.0","features":["graph"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.228","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"sv-parser","req":"^0.13.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0.18","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"d2e1012552a4f3cfb788e37f51788e6e061da8350bde7bdec58db4ca4af38d25","features":{"default":[],"serde":["safety-net/serde"]},"yanked":false,"pubtime":"2026-08-28T19:26:01Z"}
{"name":"nl-compiler","vers":"0.3.2","deps":[{"name":"clap","req":"^4.6.1","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"flussab","req":"^0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"flussab-aiger","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lipsum","req":"^0.9.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"petgraph","req":"^0.8.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rand","req":"^0.8.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"safety-net","req":"^0.14.0","features":["graph"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.228","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"sv-parser","req":"^0.13.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0.18","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"7a6b1da9530dd5244823deaae71a06012a441722ae85affe0b64b63a2cc33dc3","features":{"default":[],"serde":["safety-net/serde"]},"yanked":false,"pubtime":"2026-08-31T17:00:52Z"}