PrototypeCommon
msakai/toysolver
My sandbox for experimenting with solver algorithms.
- Owner
- msakai (personal account)
- Stars
- Stars: 159
- Forks
- Forks: 11
- Language
- Haskell
- License
- None
- Created
- 2011
- Topics
- sat-solversmt-solvermathematical-programmingtheorem-proveralgorithms
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by msakai
All 2 repos by msakai- msakai/cplStars: 181HaskellPrototype
Nearby in Haskell
All Haskell repos- Synthetica9/nix-linterStars: 159HaskellPrototype
- scarf-sh/scarfStars: 159HaskellPrototype
- graninas/Pragmatic-Type-Level-DesignStars: 159HaskellPrototype