Search on Flora About Categories Packages

Flora :: [Package]

Search on Flora About Documentation Categories Packages Login

@hackage intern dependents

9 results

@hackage/MIP
Library for using Mixed Integer Programming (MIP)
BSD-3-Clausev0.2.0.0
@hackage/MIP-glpk
A GLPK backend to the MIP library.
GPL-3.0-onlyv0.2.0.0
@hackage/decision-diagrams
Binary Decision Diagrams (BDD) and Zero-suppressed Binary Decision Diagrams (ZDD)
BSD-3-Clausev0.2.0.0
@hackage/ecta
BSD-3-Clausev1.0.0.3
@hackage/grisette
Symbolic evaluation as a library
BSD-3-Clausev0.12.0.0
@hackage/liquid-fixpoint
Predicate Abstraction-based Horn-Clause/Implication Constraint Solver
BSD-3-Clausev8.10.7
@hackage/ohhecs
An Entity-Component-Systems engine core.
AGPL-3.0-or-laterv0.0.2
@hackage/swish
A semantic web toolkit.
LGPL-2.1-or-laterv0.10.10.0
@hackage/toysolver
Assorted decision procedures for SAT, SMT, Max-SAT, PB, MIP, etc
BSD-3-Clausev0.9.0