A versatile logical calculator and tool for encoding development for SAT, QBF, and beyond.
Primary LanguageLuaMIT LicenseMIT