Gbury/mSAT

A modular sat/smt solver with proof output.

语言：OCaml · GitHub 星标：107 · Fork：10

话题：clause · formal-methods · formula · modular · ocaml · sat-solver · smt-solver · solver

在 GitHub 上查看原仓库