Data

Tools

Indexes

Applications

Experiments

Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

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.

Ecosystem
hackage.haskell.org
Latest Release
0.9.0
about 1 year ago
Versions
16
Downloads
16,122 total
Dependent Repos
2
    Loading...
    Readme
    Loading...
    Links
    Registry hackage.haskell.org
    Source Repository
    Homepage Homepage
    JSON API View JSON
    CodeMeta codemeta.json
    Package Details
    PURL pkg:hackage/toysolver
    spec
    License BSD-3-Clause
    First Release over 13 years ago
    Last Synced 18 days ago
    Keywords
    algorithms bsd3 constraints formal-methods library logic optimisation optimization program smt theorem-provers Propose Tags mathematical-programming sat-solver smt-solver theorem-prover
    Repository
    Stars 158 on GitHub
    Forks 11 on GitHub
    Commits 2766
    Committers 4
    Avg per Author 691.5
    DDS 0.001
    commits.ecosyste.ms
    repos.ecosyste.ms
    Rankings on hackage.haskell.org
    Downloads Top 9.7%