acorrenson/modulus

A constraint solver built from scratch in OCaml

语言：OCaml · GitHub 星标：12 · Fork：2

话题：hacktoberfest · logic · logic-programming · sat · sat-solver · smt · smt-lib · smt-solver

在 GitHub 上查看原仓库