{"name":"aig","vers":"0.1.0","deps":[{"name":"aiger","req":"^0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal","package":"gipsyh-aiger"},{"name":"logic-form","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"7e24ca35c19bd217a068c0025547f773907698c7b4f80e0d36f29ecd86555e01","features":{},"yanked":false,"pubtime":"2023-03-21T03:02:03Z"}
{"name":"aig","vers":"0.2.0","deps":[{"name":"cc","req":"^1.0.99","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"libc","req":"^0.2.155","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logic-form","req":"^0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"863276576f6c15f204168e04153e7ab200f29b37c57f9d16bc32580b610771cf","features":{},"yanked":false,"pubtime":"2024-10-21T07:39:09Z"}
{"name":"aig","vers":"0.2.1","deps":[{"name":"cc","req":"^1.0.99","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"libc","req":"^0.2.155","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logic-form","req":"^0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"7f5c308d1aa60aa7db199c4ad082845fc5495a3813dc0d259be910bdb3770cd0","features":{},"yanked":false,"pubtime":"2024-10-23T09:41:36Z"}
{"name":"aig","vers":"0.2.2","deps":[{"name":"cc","req":"^1.0.99","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"libc","req":"^0.2.155","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logic-form","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"c20524b0d4de59d10f578d44cec037d8d7256958eaea70b6241e3f77cc08aded","features":{},"yanked":false,"pubtime":"2024-12-07T04:59:43Z"}
{"name":"aig","vers":"0.2.3","deps":[{"name":"cc","req":"^1.0.99","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"libc","req":"^0.2.155","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logic-form","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"9f34d210e07d17694ff3e1bff1e9961eb71b8d45a15f45b81417cfc0174d24d9","features":{},"yanked":false,"pubtime":"2024-12-17T04:54:53Z"}
{"name":"aig","vers":"0.2.4","deps":[{"name":"cc","req":"^1.0.99","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"libc","req":"^0.2.155","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logic-form","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"9ea894569ded8484cc9ea31a827e7f523e75f75e69899797d50ed7b62b27a483","features":{},"yanked":false,"pubtime":"2024-12-22T02:37:31Z"}
{"name":"aig","vers":"0.2.5","deps":[{"name":"cc","req":"^1.0.99","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"libc","req":"^0.2.155","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logic-form","req":"^0.2.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"4e4290c82980c7405af83ce038856d537e43bb1a425acf417f8117be210c0d06","features":{},"yanked":false,"pubtime":"2024-12-24T03:41:04Z"}
{"name":"aig","vers":"0.2.6","deps":[{"name":"cc","req":"^1.0.99","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"libc","req":"^0.2.155","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logic-form","req":"^0.2.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"1326d4f5a9ac413aeff22a63c320e2a1384a8a3f40d436fcf93dbd26b9e53380","features":{},"yanked":false,"pubtime":"2025-01-12T13:31:45Z"}
{"name":"aig","vers":"0.2.8","deps":[{"name":"cc","req":"^1.0.99","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"giputils","req":"^0.2.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"giputils","req":"^0.2.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"libc","req":"^0.2.155","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logic-form","req":"^0.2.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"fe2e58c86725b89f07ff311ea7a07a78cea770fb4e5811d4544546048b7b2b06","features":{},"yanked":false,"pubtime":"2025-02-06T01:57:00Z"}
{"name":"aig","vers":"0.2.9","deps":[{"name":"cc","req":"^1.0.99","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"giputils","req":"^0.2.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"giputils","req":"^0.2.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"libc","req":"^0.2.155","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logic-form","req":"^0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"7e04799d0fc7ba77f294e80974f96115902495f7408b27fa82fa7bb25c9496eb","features":{},"yanked":false,"pubtime":"2025-02-09T11:46:12Z"}
{"name":"aig","vers":"0.3.0","deps":[{"name":"cc","req":"^1.0.99","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"giputils","req":"^0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"giputils","req":"^0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"libc","req":"^0.2.155","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logic-form","req":"^0.3.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"7d4c15c849fefeac08abd40ab232007a94d5f723dccc416f692f373fcda751a3","features":{},"yanked":false,"pubtime":"2025-02-26T01:41:00Z"}
{"name":"aig","vers":"0.3.1","deps":[{"name":"cc","req":"^1.0.99","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"giputils","req":"^0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"giputils","req":"^0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"libc","req":"^0.2.155","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logic-form","req":"^0.3.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"d5f3b8fb7a6182d869754d2d76973337e1227765e811a2c7cf9f1c57a9ba6c22","features":{},"yanked":false,"pubtime":"2025-04-01T06:18:03Z"}
{"name":"aig","vers":"0.3.2","deps":[{"name":"cc","req":"^1.0.99","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"giputils","req":"^0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"giputils","req":"^0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"libc","req":"^0.2.155","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logic-form","req":"^0.3.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"81e8ba8013dce1530a01e363f006b732d371de5133c1fe6f802f134ebefc2b36","features":{},"yanked":true,"pubtime":"2025-04-20T01:32:08Z"}
{"name":"aig","vers":"0.3.3","deps":[{"name":"cc","req":"^1.0.99","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"giputils","req":"^0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"giputils","req":"^0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"libc","req":"^0.2.155","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logic-form","req":"^0.3.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"c51f44c872e2de837bc92bdd0bcc4882ffc23f662ed1ea18b3719b41a6692294","features":{},"yanked":false,"pubtime":"2025-05-23T14:31:23Z"}
{"name":"aig","vers":"0.4.0","deps":[{"name":"cc","req":"^1.0.99","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"giputils","req":"^0.3.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"giputils","req":"^0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"libc","req":"^0.2.155","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logic-form","req":"^0.3.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"f47985a2f2f14b540829c336eae6e55a320e57d44938e21b334bf94a26581aac","features":{},"yanked":true,"pubtime":"2025-05-23T14:33:33Z"}
{"name":"aig","vers":"0.4.1","deps":[{"name":"cc","req":"^1.0.99","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"giputils","req":"^0.3.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"giputils","req":"^0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"libc","req":"^0.2.155","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logic-form","req":"^0.3.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"132eef199ce7653e5b061a9bd32e22fddb31f17b9953a4add83d048a0a720c08","features":{},"yanked":false,"pubtime":"2025-05-26T11:58:20Z"}
{"name":"aig","vers":"0.4.2","deps":[{"name":"cc","req":"^1.0.99","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"giputils","req":"^0.3.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"giputils","req":"^0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"libc","req":"^0.2.155","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logic-form","req":"^0.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"ddff4135927826f9e20f6b3b79f497b9a6455ffb2089b20b9187f904e96018b6","features":{},"yanked":false,"pubtime":"2025-06-04T13:36:41Z"}
{"name":"aig","vers":"0.4.3","deps":[{"name":"cc","req":"^1.0.99","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"giputils","req":"^0.3.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"giputils","req":"^0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"libc","req":"^0.2.155","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicrs","req":"^0.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"a78f48aed8c3a73615221748bcd348eee443ac3fae66083e374f6afaf739f660","features":{},"yanked":false,"pubtime":"2025-06-18T01:15:43Z"}
{"name":"aig","vers":"0.4.4","deps":[{"name":"cc","req":"^1.0.99","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"giputils","req":"^0.3.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"giputils","req":"^0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"libc","req":"^0.2.155","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicrs","req":"^0.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.219","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"6fb90909adec79a3956a9ad65c8777949a968df9c5c4f2b7042e03d351d740ea","features":{},"yanked":false,"pubtime":"2025-06-19T07:42:23Z"}
{"name":"aig","vers":"0.4.5","deps":[{"name":"cc","req":"^1.0.99","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"giputils","req":"^0.3.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"giputils","req":"^0.3.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"libc","req":"^0.2.155","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicrs","req":"^0.5.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.219","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"fc532c079407affd5aa52aa8a983e2824616fdd3b3d4c020ee78b2f77ff4feec","features":{},"yanked":false,"pubtime":"2025-06-24T04:55:19Z"}
{"name":"aig","vers":"0.4.6","deps":[{"name":"cc","req":"^1.0.99","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"giputils","req":"^0.3.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"giputils","req":"^0.3.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"libc","req":"^0.2.155","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicrs","req":"^0.6.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.219","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"a8471071bb4b7697420bbfad64ccee6350324833d16bbfde3543cf7202e9b770","features":{},"yanked":false,"pubtime":"2025-09-05T01:47:09Z"}