sdiehl/haskell-picosat

Haskell bindings for PicoSAT solver

语言：C · GitHub 星标：16 · Fork：4

话题：haskell · haskell-library · logic · logic-programming · picosat · picosat-solver · sat-solver

在 GitHub 上查看原仓库