/SATBSolver

Given a sequence of chord formulae and an initial condition, finds optimal transition sequences.

Primary LanguagePythonMIT LicenseMIT

No issues in this repository yet.