nixpkgs / aspino - SAT/PseudoBoolean/MaxSat/ASP solver using glucose

Homepage - https://alviano.net/software/maxino/

License - Apache-2.0

Maintainers - Gabriel Ebner

Releases

2017-03-09 (expand/collapse)
From commit 075e4883 to 00460bd6
2016-01-31 (expand/collapse)
From commit 044ceae2 to 044ceae2
2017-03-09 (expand/collapse)
From commit 00528006 to 0560caa5
2016-01-31 (expand/collapse)
From commit 077811eb to 077811eb
2017-03-09 (expand/collapse)
From commit 04113fb8 to 04e13de9
2016-01-31 (expand/collapse)
From commit 01e1722e to 01e1722e
2017-03-09 (expand/collapse)
From commit 011e7015 to 03cf4bf6
2016-01-31 (expand/collapse)
From commit 068d792f to 068d792f
2017-03-09 (expand/collapse)
From commit 059f33c6 to 07be047a
2016-01-31 (expand/collapse)
From commit 04c37137 to 04c37137
2017-03-09 (expand/collapse)
From commit 01020b32 to 02e269d0
2016-01-31 (expand/collapse)
From commit 0724300b to 0724300b
2017-03-09 (expand/collapse)
From commit 03cae069 to 03cae069
2016-01-31 (expand/collapse)
From commit 02515e88 to 017d678a