msakai/toysolver

My sandbox for experimenting with solver algorithms.

语言：Haskell · GitHub 星标：159 · Fork：11

话题：algorithms · mathematical-programming · sat-solver · smt-solver · theorem-prover

在 GitHub 上查看原仓库