nixpkgs / cadical - Simplified Satisfiability Solver

Homepage - http://fmv.jku.at/cadical

License - MIT

Maintainers - Narazaki Shuji

Releases

1.4.1 (expand/collapse)
From commit 02c142a2 to 00460bd6
1.3.0 (expand/collapse)
From commit 074ef76e to 074ef76e
1.4.1 (expand/collapse)
From commit 07c31956 to 07557e3b
1.3.0 (expand/collapse)
From commit 07d6a1a7 to 02cdfa5d
1.4.1 (expand/collapse)
From commit 053e6bf8 to 053e6bf8
1.3.0 (expand/collapse)
From commit 015d6e7e to 05a7f008
1.4.1 (expand/collapse)
From commit 00910f76 to 00682a56
1.3.0 (expand/collapse)
From commit 012009ec to 012009ec
1.4.1 (expand/collapse)
From commit 0039dff7 to 05e11f84
1.3.0 (expand/collapse)
From commit 00ace5a4 to 00ace5a4
1.4.1 (expand/collapse)
From commit 06bc3335 to 0683b38c
1.3.0 (expand/collapse)
From commit 06749ba3 to 02ac43e5
1.2.1 (expand/collapse)
From commit 05fe6112 to 05fe6112
1.3.0 (expand/collapse)
From commit 066544a7 to 0096eb92
1.2.1 (expand/collapse)
From commit 05a16be9 to 05a16be9
1.3.0 (expand/collapse)
From commit 00915d4e to 0456d939
1.2.1 (expand/collapse)
From commit 01cb371c to 01cb371c
1.3.0 (expand/collapse)
From commit 049b68be to 0260f04f
1.2.1 (expand/collapse)
From commit 02b3cac1 to 02b3cac1
1.3.0 (expand/collapse)
From commit 06db3319 to 008e7e32
1.2.1 (expand/collapse)
From commit 061f2b35 to 061f2b35
1.3.0 (expand/collapse)
From commit 0091e035 to 0270bea4
1.2.1 (expand/collapse)
From commit 05f8cba1 to 05f8cba1
1.3.0 (expand/collapse)
From commit 034395d0 to 0242e11c
1.2.1 (expand/collapse)
From commit 033ba9c7 to 02a71216
1.3.0 (expand/collapse)
From commit 01531115 to 06f0a0fc
1.2.1 (expand/collapse)
From commit 0757cd4d to 0757cd4d
1.3.0 (expand/collapse)
From commit 0498309d to 06c483e8
1.2.1 (expand/collapse)
From commit 002b16d9 to 05eefe5e