Search on Flora About Categories Packages

Flora :: [Package]

Search on Flora About Documentation Categories Packages Login

@hackage intern dependents

10 results

@hackage/BiobaseTypes
Collection of types for bioinformatics
BSD-3-Clausev0.2.1.0
@hackage/MIP
Library for using Mixed Integer Programming (MIP)
BSD-3-Clausev0.1.1.0
@hackage/MIP-glpk
A GLPK backend to the MIP library.
GPL-3.0-onlyv0.1.1.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.5.0.1
@hackage/libffi-dynamic
LibFFI interface with dynamic bidirectional type-driven binding generation
LicenseRef-PublicDomainv0.0.0.2
@hackage/liquid-fixpoint
Predicate Abstraction-based Horn-Clause/Implication Constraint Solver
BSD-3-Clausev8.10.7
@hackage/swish
A semantic web toolkit.
LGPL-2.1-or-laterv0.10.7.0
@hackage/toysolver
Assorted decision procedures for SAT, SMT, Max-SAT, PB, MIP, etc
BSD-3-Clausev0.8.1