nixpkgs / cryptominisat - An advanced SAT Solver

Homepage - https://github.com/msoos/cryptominisat

License - MIT

Maintainers - Jörg Thalheim

Releases

5.8.0 (expand/collapse)
From commit 06749ba3 to 00460bd6
5.7.1 (expand/collapse)
From commit 05fe6112 to 05fe6112
5.8.0 (expand/collapse)
From commit 066544a7 to 0096eb92
5.6.8 (expand/collapse)
From commit 05a16be9 to 05a16be9
5.8.0 (expand/collapse)
From commit 0684065e to 0456d939
5.7.1 (expand/collapse)
From commit 07076e9f to 031cc88a
5.8.0 (expand/collapse)
From commit 026b4eb3 to 0410f5df
5.7.1 (expand/collapse)
From commit 0269421b to 0269421b
5.8.0 (expand/collapse)
From commit 00915d4e to 00e56c1d
5.7.1 (expand/collapse)
From commit 01cb371c to 01cb371c
5.8.0 (expand/collapse)
From commit 05c65878 to 0260f04f
5.7.1 (expand/collapse)
From commit 017f120e to 017f120e
5.8.0 (expand/collapse)
From commit 05a50430 to 0416089d
5.7.1 (expand/collapse)
From commit 049b68be to 02591d02
5.6.8 (expand/collapse)
From commit 02b3cac1 to 02b3cac1
5.7.1 (expand/collapse)
From commit 06bcd9a3 to 008e7e32
5.7.0 (expand/collapse)
From commit 07461354 to 07461354
5.7.1 (expand/collapse)
From commit 023e11ae to 023e11ae
5.7.0 (expand/collapse)
From commit 03f116ea to 0367fa63
5.6.8 (expand/collapse)
From commit 06ac7027 to 06ac7027
5.7.0 (expand/collapse)
From commit 05a7b695 to 0045730c
5.6.8 (expand/collapse)
From commit 06b89b34 to 077c3c19
5.7.0 (expand/collapse)
From commit 01539e6f to 00f66e1b
5.6.8 (expand/collapse)
From commit 04248f60 to 04248f60
5.7.0 (expand/collapse)
From commit 00444314 to 0663a984
5.6.8 (expand/collapse)
From commit 03425b00 to 03425b00
5.7.0 (expand/collapse)
From commit 018f4938 to 018f4938
5.6.8 (expand/collapse)
From commit 03369ef1 to 06ea7091
5.7.0 (expand/collapse)
From commit 06d5edf7 to 035393f0
5.6.8 (expand/collapse)
From commit 04cc8385 to 027d4e63
5.6.6 (expand/collapse)
From commit 0045164b to 0045164b
5.6.8 (expand/collapse)
From commit 025c2abd to 06fad89b
5.6.6 (expand/collapse)
From commit 047def41 to 0770264f
5.0.1 (expand/collapse)
From commit 028f259c to 030f6640