6 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer
ibrowse-git 20101026-1 2 0.00 Erlang HTTP client Ice_Phoenix
z3-unstable-git 20150413-1 1 0.00 Z3 is a high-performance theorem prover being developed at Microsoft Research (built from Github) Ice_Phoenix
neotoma-git 20110529-1 1 0.00 Erlang library and packrat parser-generator for parsing expression grammars Ice_Phoenix
mathsat-5 5.2.10-3 1 0.00 MathSAT 5 is an efficient SMT solver supporting a wide range of theories and functionalities Ice_Phoenix
boolector 3.0.0-1 1 0.01 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
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

6 packages found. Page 1 of 1.