javiermtorres / black Goto Github PK
View Code? Open in Web Editor NEWThis project forked from black-sat/black
Forked from BLACK (Bounded Lᴛʟ sAtisfiability ChecKer) to enable multimodal model checking
Home Page: https://www.black-sat.org
License: MIT License