Packages tagged symbolic-computation
13 packages have this tag.
[Merge tag] (trustees only)Related tags: library (13), formal-methods (10), smt (8), theorem-provers (8), bsd3 (5), gpl (5), math (4), ffi (3), mit (3), program (3), asp (1), bit-vectors (1), ...
Name |
DLs |
Rating |
Description |
Tags |
Last U/L |
Maintainer |
---|---|---|---|---|---|---|
clingo | 8 | 0.0 | Haskell bindings to the Clingo ASP solver | (asp, ffi, library, logic-programming, mit, symbolic-computation) | 2017-08-18 | tsahyt |
g2 | 1 | 0.0 | Haskell symbolic execution engine. | (bsd3, formal-methods, library, program, symbolic-computation) | 2019-06-30 | WilliamHallahan |
g2q | 5 | 0.0 | G2Q allows constraint programming, via writing Haskell predicates. | (bsd3, formal-methods, library, symbolic-computation) | 2019-06-30 | WilliamHallahan |
sbv | 239 | 2.75 | SMT Based Verification: Symbolic Haskell theorem prover using SMT solving. | (bit-vectors, bsd3, formal-methods, library, math, smt, symbolic-computation, theorem-provers) | 2022-04-27 | LeventErkok |
sbvPlugin | 47 | 0.0 | Formally prove properties of Haskell programs using SBV/SMT | (bsd3, formal-methods, library, math, smt, symbolic-computation, theorem-provers) | 2022-04-27 | LeventErkok |
smtlib2 | 13 | 2.0 | A type-safe interface to communicate with an SMT solver. | (formal-methods, gpl, library, smt, symbolic-computation, theorem-provers) | 2017-01-05 | HenningGuenther |
smtlib2-debug | 6 | 0.0 | Dump the communication with an SMT solver for debugging purposes. | (formal-methods, gpl, library, smt, symbolic-computation, theorem-provers) | 2017-01-05 | HenningGuenther |
smtlib2-pipe | 7 | 0.0 | A type-safe interface to communicate with an SMT solver. | (formal-methods, gpl, library, smt, symbolic-computation, theorem-provers) | 2017-01-05 | HenningGuenther |
smtlib2-quickcheck | 5 | 0.0 | Helper functions to create SMTLib expressions in QuickCheck | (formal-methods, gpl, library, smt, symbolic-computation, theorem-provers) | 2017-01-06 | HenningGuenther |
smtlib2-timing | 8 | 0.0 | Get timing informations for SMT queries | (formal-methods, gpl, library, smt, symbolic-computation, theorem-provers) | 2017-01-07 | HenningGuenther |
symengine | 10 | 0.0 | SymEngine symbolic mathematics engine for Haskell | (ffi, library, math, mit, symbolic-computation) | 2016-06-10 | bollu |
symengine-hs | 8 | 0.0 | SymEngine symbolic mathematics engine for Haskell | (ffi, library, math, mit, program, symbolic-computation) | 2016-03-05 | bollu |
what4 | 111 | 2.25 | Solver-agnostic symbolic values support for issuing queries | (bsd3, formal-methods, library, program, smt, symbolic-computation, theorem-provers) | 2022-04-19 | RobertDockins, ryanglscott, galoisinc |