5 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer Last Updated
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)
z3-stable-git 4.8.4.g05663592e-1 0 0.00 Z3 is a high-performance theorem prover being developed at Microsoft Research (built from Github) Ice_Phoenix 2019-03-12 14:50 (UTC)
neotoma-git 20110529-1 1 0.00 Erlang library and packrat parser-generator for parsing expression grammars Ice_Phoenix 2015-07-01 09:57 (UTC)
mathsat-5 5.6.9-1 1 0.00 MathSAT 5 is an efficient SMT solver supporting a wide range of theories and functionalities Ice_Phoenix 2023-01-30 14:14 (UTC)
ibrowse-git 20101026-1 2 0.00 Erlang HTTP client Ice_Phoenix 2015-07-01 09:54 (UTC)

5 packages found. Page 1 of 1.