Packages tagged symbolic-computation
18 packages have this tag.
[Merge tag] (trustees only)Related tags: library (18), formal-methods (13), smt (11), theorem-provers (10), bsd3 (8), gpl (5), math (4), ffi (3), mit (3), program (3), apache (2), bit-vectors (2), ...
Name |
DLs |
Rating |
Rev Deps |
Description |
Tags |
Last U/L |
Last Version |
Maintainers |
|---|---|---|---|---|---|---|---|---|
| clingo | 3 | 0.0 | 1 | Haskell bindings to the Clingo ASP solver | (asp, ffi, library, logic-programming, mit, symbolic-computation) | 2017-08-18 | 0.2.0.0 | tsahyt |
| g2 | 5 | 0.0 | 1 | Haskell symbolic execution engine. | (bsd3, formal-methods, library, program, symbolic-computation) | 2024-03-22 | 0.2.0.0 | WilliamHallahan |
| g2q | 2 | 0.0 | 0 | G2Q allows constraint programming, via writing Haskell predicates. | (bsd3, formal-methods, library, symbolic-computation) | 2019-06-30 | 0.1.0.0 | WilliamHallahan |
| grisette | 24 | 0.0 | 1 | Symbolic evaluation as a library | (bsd3, formal-methods, library, smt, symbolic-computation, theorem-provers) | 2024-12-29 | 0.11.0.0 | siruilu |
| grisette-monad-coroutine | 8 | 0.0 | 0 | Support for monad-coroutine package with Grisette | (bsd3, formal-methods, library, smt, symbolic-computation, theorem-provers) | 2024-01-10 | 0.2.0.0 | siruilu |
| ihaskell-symtegration | 4 | 0.0 | 0 | IHaskell extension for making the use of Symtegration more seamless. | (apache, development, ihaskell, integration, library, symbolic-computation) | 2025-02-01 | 0.1.0 | chungyc |
| sbv | 319 | 2.75 | 12 | SMT Based Verification: Symbolic Haskell theorem prover using SMT solving. | (bit-vectors, bsd3, formal-methods, library, math, smt, symbolic-computation, theorem-provers) | 2025-03-13 | 11.4 | LeventErkok |
| sbv-program | 3 | 0.0 | 0 | Component-based program synthesis using SBV | (bit-vectors, bsd3, formal-methods, library, smt, symbolic-computation) | 2023-01-26 | 1.1.0.0 | arrowd |
| sbvPlugin | 25 | 0.0 | 1 | Formally prove properties of Haskell programs using SBV/SMT | (bsd3, formal-methods, library, math, smt, symbolic-computation, theorem-provers) | 2025-03-13 | 9.12.1 | LeventErkok |
| smtlib2 | 6 | 2.0 | 6 | A type-safe interface to communicate with an SMT solver. | (formal-methods, gpl, library, smt, symbolic-computation, theorem-provers) | 2017-01-05 | 1.0 | HenningGuenther |
| smtlib2-debug | 3 | 0.0 | 1 | Dump the communication with an SMT solver for debugging purposes. | (formal-methods, gpl, library, smt, symbolic-computation, theorem-provers) | 2017-01-05 | 1.0 | HenningGuenther |
| smtlib2-pipe | 2 | 0.0 | 1 | A type-safe interface to communicate with an SMT solver. | (formal-methods, gpl, library, smt, symbolic-computation, theorem-provers) | 2017-01-05 | 1.0 | HenningGuenther |
| smtlib2-quickcheck | 2 | 0.0 | 1 | Helper functions to create SMTLib expressions in QuickCheck | (formal-methods, gpl, library, smt, symbolic-computation, theorem-provers) | 2017-01-06 | 1.0 | HenningGuenther |
| smtlib2-timing | 5 | 0.0 | 1 | Get timing informations for SMT queries | (formal-methods, gpl, library, smt, symbolic-computation, theorem-provers) | 2017-01-07 | 1.0 | HenningGuenther |
| symengine | 8 | 0.0 | 1 | SymEngine symbolic mathematics engine for Haskell | (ffi, library, math, mit, symbolic-computation) | 2016-06-10 | 0.1.2.0 | bollu |
| symengine-hs | 3 | 0.0 | 0 | SymEngine symbolic mathematics engine for Haskell | (ffi, library, math, mit, program, symbolic-computation) | 2016-03-05 | 0.1.1.0 | bollu |
| symtegration | 9 | 0.0 | 0 | Library for symbolic integration of mathematical expressions. | (apache, integration, library, mathematics, symbolic-computation) | 2025-01-30 | 0.6.1 | chungyc |
| what4 | 92 | 2.25 | 8 | Solver-agnostic symbolic values support for issuing queries | (bsd3, formal-methods, library, program, smt, symbolic-computation, theorem-provers) | 2025-02-26 | 1.6.3 | RobertDockins, ryanglscott, galoisinc, mccleeary |