|
boolector-git
|
3.2.2.r18.g1a89c229-1 |
0 |
0.00
|
A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions |
xiretza
|
2022-05-03 13:12 (UTC) |
|
boolector
|
3.2.2-2 |
2 |
0.00
|
Boolector is an efficient SMT solver for the quantifier-free theory of bit-vectors in combination with the quantifier-free extensional theory of arrays. |
Ice_Phoenix
|
2021-11-15 13:52 (UTC) |
|
boogie-git
|
0.r5030.8448ac1c-1 |
2 |
0.00
|
Boogie is an Intermediate Verification Language (IVL) for describing proof obligations to be discharged by a reasoning engine, typically an SMT solver |
joojoo
|
2020-04-26 07:41 (UTC) |
|
bitwuzla-git
|
0.4.0.r33.g72cad5f-1 |
0 |
0.00
|
SMT solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations |
meadow
|
2024-03-30 17:40 (UTC) |
|
bitwuzla
|
0.4.0-1 |
0 |
0.00
|
SMT solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations |
meadow
|
2024-03-30 17:19 (UTC) |
|
bitwuzla-doc
|
0.4.0-1 |
0 |
0.00
|
Documentation for the Bitwuzla SMT solver |
meadow
|
2024-03-30 17:19 (UTC) |
|
bertini_real-git
|
r1075.3dbac52-1 |
1 |
0.00
|
Numerical decomposition of real algebraic sets, based on the Bertini homotopy continuation solver |
akobel
|
2019-03-21 09:43 (UTC) |
|
bertini
|
1.6-2 |
2 |
0.00
|
Homotopy continuation solver for systems of polynomial equations |
akobel
|
2022-04-14 21:21 (UTC) |
|
batch_resolve
|
0.3.7-2 |
0 |
0.00
|
Fast asynchronous DNS resolver |
mersinvald
|
2019-11-27 14:37 (UTC) |
|
aspcud
|
1.9.6-1 |
1 |
0.00
|
Solver for package dependencies |
xuanruiqi
|
2022-08-15 16:44 (UTC) |
|
android-constraint-layout
|
1.0.2-2 |
2 |
0.00
|
ConstraintLayout for Android (includes solver) |
sjakub
|
2018-04-03 22:01 (UTC) |
|
ampl-asl
|
20240106-1 |
1 |
0.00
|
AMPL Solver Library |
carlosal1015
|
2024-04-04 01:43 (UTC) |
|
aero2solver
|
1.0.0-2 |
0 |
0.00
|
Solve Aero2 captchas automatically using the magic of machine learning and computer vision |
nezu
|
2023-11-14 23:10 (UTC) |
|
adns-git
|
1:adns.r1.6.0.0.gccaa001-1 |
0 |
0.00
|
An asyncronous replacement resolver library |
nandub
|
2023-10-02 19:57 (UTC) |
|
adasat
|
24.0w-1 |
0 |
0.00
|
Implementation of a DPLL-based SAT solver in Ada. |
charlie5
|
2023-07-09 12:14 (UTC) |