/CDCL-Dafny

A SAT solver with nonchronological backtracking.

Primary LanguageC#

This repository is not active