Name		Name	Last commit message	Last commit date
Latest commit History 29 Commits
.github/workflows		.github/workflows
src/Satchmo/SAT		src/Satchmo/SAT
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
Setup.hs		Setup.hs
satchmo-toysat.cabal		satchmo-toysat.cabal
stack.yaml		stack.yaml
stack_old_env.yaml		stack_old_env.yaml

Repository files navigation

satchmo-toysat

toysat driver as backend for satchmo

About

toysat driver as backend for satchmo

BSD-3-Clause license

Report repository

Releases

Packages

No packages published

Languages

Haskell 100.0%