hackage.haskell.org : toysolver
Toy-level solver implementation of various problems including SAT, SMT, Max-SAT, PBSPBO (Pseudo Boolean SatisfactionOptimization), MILP (Mixed Integer Linear Programming) and non-linear real arithmetic.
Registry
-
Source
- Homepage
- JSON
purl: pkg:hackage/toysolver
Keywords:
algorithms
, bsd3
, constraints
, formal-methods
, library
, logic
, optimisation
, optimization
, program
, smt
, theorem-provers
, Propose Tags
, mathematical-programming
, sat-solver
, smt-solver
, theorem-prover
License: BSD-3-Clause
Latest release: 5 months ago
First release: almost 13 years ago
Dependent repositories: 2
Downloads: 15,662 total
Stars: 157 on GitHub
Forks: 11 on GitHub
Total Commits: 2766
Committers: 4
Average commits per author: 691.5
Development Distribution Score (DDS): 0.001
More commit stats: commits.ecosyste.ms
See more repository details: repos.ecosyste.ms
Last synced: 1 day ago