4 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer
apron-git r237.9ad5af8-1 0 0.00 The Apron Numerical Abstract Domain Library deian
boolector-git r10285.6fce0ac3-1 0 0.00 A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions deian
btor2tools-git r77.9831f99-1 0 0.00 A generic parser and tool package for the BTOR2 format. deian
xwrits 2.26-1 0 0.00 reminds you to take wrist breaks deian

4 packages found. Page 1 of 1.