nixpkgs / boolector - An extremely fast SMT solver for bit-vectors and arrays

Homepage - https://boolector.github.io

License - MIT

Maintainers - Austin Seipp

Releases

3.2.2 (expand/collapse)
From commit 02c142a2 to 00460bd6
3.2.1 (expand/collapse)
From commit 074ef76e to 074ef76e
3.2.2 (expand/collapse)
From commit 0649d2c8 to 07557e3b
3.2.1 (expand/collapse)
From commit 06f7d4c1 to 005c8088
3.2.2 (expand/collapse)
From commit 04855119 to 035dcc0e
3.2.1 (expand/collapse)
From commit 065a8102 to 065a8102
3.2.2 (expand/collapse)
From commit 04de1306 to 04de1306
3.2.1 (expand/collapse)
From commit 07811f56 to 07811f56
3.2.2 (expand/collapse)
From commit 073b8ce7 to 03507abd
3.2.1 (expand/collapse)
From commit 0708fe49 to 0708fe49
3.2.2 (expand/collapse)
From commit 07b9fef4 to 00f50b61
3.2.1 (expand/collapse)
From commit 066544a7 to 0066d898
3.0.0 (expand/collapse)
From commit 05a16be9 to 05a16be9
3.2.1 (expand/collapse)
From commit 049b68be to 0456d939
3.0.0 (expand/collapse)
From commit 02b3cac1 to 02b3cac1
3.2.1 (expand/collapse)
From commit 0693bed8 to 008e7e32
3.0.0 (expand/collapse)
From commit 002e3cfb to 002e3cfb
3.2.1 (expand/collapse)
From commit 043fb602 to 06ef6493
3.0.0 (expand/collapse)
From commit 0448356c to 0448356c
3.2.1 (expand/collapse)
From commit 02f793bd to 01b73a01
3.0.0 (expand/collapse)
From commit 074911e4 to 074911e4
3.2.1 (expand/collapse)
From commit 0046802a to 0046802a
3.0.0 (expand/collapse)
From commit 075e4883 to 01b660d8
1.5.118 (expand/collapse)
From commit 044ceae2 to 044ceae2
3.0.0 (expand/collapse)
From commit 07765856 to 0560caa5
1.5.118 (expand/collapse)
From commit 017a8975 to 05b88794