/SATBSolver

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

Primary LanguagePythonMIT LicenseMIT

Stargazers