{"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"}