LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Ecosystems
Launchpads

Search

Haskell

toysolver

My sandbox for experimenting with solver algorithms.

HaskellEmergingalgorithmsmathematical-programmingsat-solversmt-solver

Stars

159

Forks

11

Contributors

5

Last push

8d ago

Recent commits

Latest commits.

Merge pull request #207 from msakai/stop-deriving-typeable
0404805Masahiro Sakai8d ago
should use DeriveDataTypeable for deriving Data
d8d6f8cMasahiro Sakai8d ago
Merge pull request #208 from msakai/drop-old-libraries
f889becMasahiro Sakai8d ago
require optparse-applicative >=0.18
02bdcdeMasahiro Sakai8d ago
require aeson >=2.0, array >=0.5.6, and hashable >=1.4.3
e4b9ddeMasahiro Sakai8d ago

stop deriving Typeable

053a266Masahiro Sakai9d ago

Merge pull request #206 from msakai/feature/language-smtlib-migration

dda4b13Masahiro Sakai9d ago

fix some warnings

26fb926Masahiro Sakai9d ago

Top contributors

Builders behind this project.

devin-ai-integration[bot]

katrinleinweber