{"name":"rIC3","vers":"1.2.0","deps":[{"name":"abc-rs","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"aig","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bitfield-struct","req":"^0.8.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"btor","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5.16","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"ctrlc","req":"^3.4.1","features":["termination"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"giputils","req":"^0.2","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"},{"name":"nix","req":"^0.27.1","features":["signal"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"process_control","req":"^4.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"procspawn","req":"^1.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"satif","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"satif-cadical","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"satif-kissat","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"satif-minisat","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"shadow-rs","req":"^0.34.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"shadow-rs","req":"^0.34.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"tempfile","req":"^3.10.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"e2c7ca1c777c0ed0ec10a877a9944d3250ab7fff7789aa7113b6722039a4ce94","features":{"default":["no_bound_check"],"no_bound_check":["logic-form/no_bound_check","giputils/no_bound_check"]},"yanked":false,"pubtime":"2024-12-07T07:56:54Z"}
{"name":"rIC3","vers":"1.2.1","deps":[{"name":"abc-rs","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"aig","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bitfield-struct","req":"^0.8.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"btor","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5.16","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"ctrlc","req":"^3.4.1","features":["termination"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"giputils","req":"^0.2","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"},{"name":"nix","req":"^0.27.1","features":["signal"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"process_control","req":"^4.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"procspawn","req":"^1.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"satif","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"satif-cadical","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"satif-kissat","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"satif-minisat","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"shadow-rs","req":"^0.34.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"shadow-rs","req":"^0.34.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"tempfile","req":"^3.10.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"de5db12cad368b93ed17becc21aabf2e4a5374eef267ade6e184cba7a7ce5357","features":{"default":["no_bound_check"],"no_bound_check":["logic-form/no_bound_check","giputils/no_bound_check"]},"yanked":false,"pubtime":"2024-12-07T14:28:23Z"}
{"name":"rIC3","vers":"1.2.3","deps":[{"name":"abc-rs","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"aig","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bitfield-struct","req":"^0.8.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"btor","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5.16","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"ctrlc","req":"^3.4.1","features":["termination"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"giputils","req":"^0.2","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"},{"name":"nix","req":"^0.27.1","features":["signal"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"process_control","req":"^4.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"procspawn","req":"^1.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"satif","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"satif-cadical","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"satif-kissat","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"satif-minisat","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"shadow-rs","req":"^0.34.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"shadow-rs","req":"^0.34.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"tempfile","req":"^3.10.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"32e192c1a4b44509227a5f7b158ee9ff297c09e06f5e41e5b621c26630d4dccc","features":{"default":["no_bound_check"],"no_bound_check":["logic-form/no_bound_check","giputils/no_bound_check"]},"yanked":false,"rust_version":"1.85","pubtime":"2024-12-16T13:00:58Z"}
{"name":"rIC3","vers":"1.3.0","deps":[{"name":"abc-rs","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"aig","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bitfield-struct","req":"^0.8.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"btor","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5.16","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"ctrlc","req":"^3.4.1","features":["termination"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"giputils","req":"^0.2","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"},{"name":"nix","req":"^0.27.1","features":["signal"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"process_control","req":"^4.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"procspawn","req":"^1.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"satif","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"satif-cadical","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"satif-kissat","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"satif-minisat","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"shadow-rs","req":"^0.34.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"shadow-rs","req":"^0.34.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"tempfile","req":"^3.10.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"27ba7191ab0821451071f4b8677d9fd615bac6364c86c26fd075c5ab65966599","features":{"default":["no_bound_check"],"no_bound_check":["logic-form/no_bound_check","giputils/no_bound_check"]},"yanked":false,"rust_version":"1.85","pubtime":"2024-12-17T05:00:22Z"}
{"name":"rIC3","vers":"1.3.1","deps":[{"name":"abc-rs","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"aig","req":"~0.2.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bitfield-struct","req":"^0.8.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"btor","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5.16","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"ctrlc","req":"^3.4.1","features":["termination"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"giputils","req":"^0.2","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"},{"name":"nix","req":"^0.27.1","features":["signal"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"process_control","req":"^4.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"procspawn","req":"^1.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"satif","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"satif-cadical","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"satif-kissat","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"satif-minisat","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"shadow-rs","req":"^0.34.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"shadow-rs","req":"^0.34.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"tempfile","req":"^3.10.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"8eb0bcff26389a4c86cdda9d485e8266d2c67f946a7654874405f7fbf5ca61dd","features":{"default":["no_bound_check"],"no_bound_check":["logic-form/no_bound_check","giputils/no_bound_check"]},"yanked":false,"rust_version":"1.85","pubtime":"2024-12-22T02:51:21Z"}
{"name":"rIC3","vers":"1.3.2","deps":[{"name":"abc-rs","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"aig","req":"^0.2.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bitfield-struct","req":"^0.8.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5.16","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"ctrlc","req":"^3.4.1","features":["termination"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"giputils","req":"^0.2.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logic-form","req":"^0.2.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"nix","req":"^0.27.1","features":["signal"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"process_control","req":"^4.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"procspawn","req":"^1.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"satif","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"satif-cadical","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"satif-kissat","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"satif-minisat","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"shadow-rs","req":"^0.34.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"shadow-rs","req":"^0.34.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"tempfile","req":"^3.10.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"220beb0d15cc87dfb833db93064784aed22704a627cd327dff8048fd4e107cd2","features":{"default":["no_bound_check"],"no_bound_check":["logic-form/no_bound_check","giputils/no_bound_check"]},"yanked":false,"rust_version":"1.85","pubtime":"2025-01-02T01:13:35Z"}
{"name":"rIC3","vers":"1.3.3","deps":[{"name":"abc-rs","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"aig","req":"^0.2.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bitfield-struct","req":"^0.10.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5.16","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"ctrlc","req":"^3.4.1","features":["termination"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"giputils","req":"^0.2.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logic-form","req":"^0.2.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"nix","req":"^0.29.0","features":["signal"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"process_control","req":"^5.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"procspawn","req":"^1.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"satif","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"satif-cadical","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"satif-kissat","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"satif-minisat","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"shadow-rs","req":"^0.37.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"shadow-rs","req":"^0.37.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"tempfile","req":"^3.10.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"b095c852b0186ac76796c69adac8635346fe91bfcacdb493836d46614a2eb6ad","features":{"default":["no_bound_check"],"no_bound_check":["logic-form/no_bound_check","giputils/no_bound_check"]},"yanked":false,"rust_version":"1.85","pubtime":"2025-01-12T13:38:02Z"}
{"name":"rIC3","vers":"1.3.4","deps":[{"name":"abc-rs","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"aig","req":"^0.2.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bitfield-struct","req":"^0.10.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5.16","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"ctrlc","req":"^3.4.1","features":["termination"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"giputils","req":"^0.2.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logic-form","req":"^0.2.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"nix","req":"^0.29.0","features":["signal"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"process_control","req":"^5.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"procspawn","req":"^1.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.9.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"satif","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"satif-cadical","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"satif-kissat","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"satif-minisat","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"shadow-rs","req":"^0.38.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"shadow-rs","req":"^0.38.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"tempfile","req":"^3.10.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"bb1b0217555b7ebdc8b2896b085849813c8d4f268e7e283caf2274a46df51e1e","features":{"default":["no_bound_check"],"no_bound_check":["logic-form/no_bound_check","giputils/no_bound_check"]},"yanked":false,"rust_version":"1.85","pubtime":"2025-02-05T01:44:01Z"}
{"name":"rIC3","vers":"1.3.5","deps":[{"name":"abc-rs","req":"^0.2.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"aig","req":"^0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bitfield-struct","req":"^0.10.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cadical","req":"^0.1.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal","package":"satif-cadical"},{"name":"clap","req":"^4.5.16","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"ctrlc","req":"^3.4.1","features":["termination"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"giputils","req":"^0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"kissat","req":"^0.4.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal","package":"satif-kissat"},{"name":"logic-form","req":"^0.3.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"nix","req":"^0.29.0","features":["signal"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"process_control","req":"^5.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"procspawn","req":"^1.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.9.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"satif","req":"^0.2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"shadow-rs","req":"^1.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"shadow-rs","req":"^1.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"tempfile","req":"^3.10.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"b1bb8375665249de7b1a6778f1db2b1445769f65247cc9d6675006a9576e98dc","features":{},"yanked":false,"pubtime":"2025-03-14T13:56:50Z"}
{"name":"rIC3","vers":"1.3.6","deps":[{"name":"abc-rs","req":"^0.2.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"aig","req":"^0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bitfield-struct","req":"^0.10.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cadical","req":"^0.1.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal","package":"satif-cadical"},{"name":"clap","req":"^4.5.16","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"ctrlc","req":"^3.4.1","features":["termination"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"giputils","req":"^0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"kissat","req":"^0.4.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal","package":"satif-kissat"},{"name":"logic-form","req":"^0.3.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"nix","req":"^0.29.0","features":["signal"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"process_control","req":"^5.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"procspawn","req":"^1.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.9.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"satif","req":"^0.2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"shadow-rs","req":"^1.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"shadow-rs","req":"^1.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"tempfile","req":"^3.10.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"000f9dab1e47ea4614e38ba22d2819701d30ce536725be036bad6dfe7b8984a0","features":{},"yanked":false,"pubtime":"2025-04-01T06:31:56Z"}
{"name":"rIC3","vers":"1.4.0","deps":[{"name":"abc-rs","req":"^0.2.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"aig","req":"^0.4.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bitfield-struct","req":"^0.11.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cadical","req":"^0.1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal","package":"satif-cadical"},{"name":"clap","req":"^4.5.16","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"ctrlc","req":"^3.4.1","features":["termination"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"^0.11.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"giputils","req":"^0.3.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"kissat","req":"^0.4.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal","package":"satif-kissat"},{"name":"log","req":"^0.4.27","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logic-form","req":"^0.3.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"nix","req":"^0.30.1","features":["signal"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"process_control","req":"^5.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"procspawn","req":"^1.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.9.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"satif","req":"^0.2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"shadow-rs","req":"^1.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"shadow-rs","req":"^1.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"tempfile","req":"^3.10.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"cac95faf25c88a114df82d38d34a7c3748e11ae14b3e0e22a57b35c0aeb26060","features":{},"yanked":false,"pubtime":"2025-05-26T16:21:53Z"}
{"name":"rIC3","vers":"1.4.1","deps":[{"name":"aig","req":"^0.4.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bitfield-struct","req":"^0.11.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"btor","req":"^0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cadical","req":"^0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal","package":"satif-cadical"},{"name":"clap","req":"^4.5.16","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"ctrlc","req":"^3.4.1","features":["termination"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"^0.11.8","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":"normal"},{"name":"kissat","req":"^0.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal","package":"satif-kissat"},{"name":"log","req":"^0.4.27","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":"nix","req":"^0.30.1","features":["signal"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"process_control","req":"^5.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.9.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tempfile","req":"^3.10.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"5ef1f9923e2c7993a5c45d37fb5900aa6b67a7696957699e84f8d2ef38a0b8d1","features":{},"yanked":false,"pubtime":"2025-06-24T05:11:54Z"}
{"name":"rIC3","vers":"1.5.0","deps":[{"name":"aig","req":"^0.4.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bitfield-struct","req":"^0.11.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"btor","req":"^0.2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cadical","req":"^0.2.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal","package":"satif-cadical"},{"name":"clap","req":"^4.5.16","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"ctrlc","req":"^3.4.1","features":["termination"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"^0.11.8","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":"normal"},{"name":"kissat","req":"^0.5.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal","package":"satif-kissat"},{"name":"log","req":"^0.4.27","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":"nix","req":"^0.30.1","features":["signal"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"process_control","req":"^5.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.9.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tempfile","req":"^3.10.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"b26f6b2560e3886e21de845e4e5a5aff825b1bfca76fa2557be6f1b0d78a1a39","features":{},"yanked":false,"pubtime":"2025-09-05T02:12:38Z"}
{"name":"rIC3","vers":"1.5.1","deps":[{"name":"aig","req":"^0.4.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bitfield-struct","req":"^0.11.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"btor","req":"^0.2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cadical","req":"^0.2.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal","package":"satif-cadical"},{"name":"clap","req":"^4.5.16","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"ctrlc","req":"^3.4.1","features":["termination"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"^0.11.8","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":"normal"},{"name":"kissat","req":"^0.5.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal","package":"satif-kissat"},{"name":"log","req":"^0.4.27","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":"nix","req":"^0.30.1","features":["signal"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"process_control","req":"^5.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.9.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tempfile","req":"^3.10.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"908a588d1c6ce2796510527d00bbf7492d4b1e80f209a2c0bb3cdfdb5d307d46","features":{},"yanked":false,"pubtime":"2025-09-05T07:30:07Z"}
{"name":"rIC3","vers":"1.5.2","deps":[{"name":"aig","req":"^0.4.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bitfield-struct","req":"^0.12.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bitwuzla","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal","package":"smtif-bitwuzla"},{"name":"btor","req":"^0.2.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cadical","req":"^0.2.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal","package":"satif-cadical"},{"name":"clap","req":"^4.5.52","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"ctrlc","req":"^3.4.1","features":["termination"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"^0.11.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"giputils","req":"^0.3.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"kissat","req":"^0.5.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal","package":"satif-kissat"},{"name":"log","req":"^0.4.27","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicrs","req":"^0.6.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"nix","req":"^0.30.1","features":["signal"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"process_control","req":"^5.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.9.0","features":[],"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":"normal"},{"name":"tempfile","req":"^3.10.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"toml","req":"^0.9.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"a12d867a57afb9f40d25a52c996612e2399a11dc9250ab88e2adb3f9ab4d2c33","features":{},"yanked":false,"pubtime":"2025-12-07T06:44:02Z"}