Geeks
black-sat
/
black
BLACK (Bounded Lᴛʟ sAtisfiability ChecKer)
Primary Language
C++
MIT License
MIT
black Home Page
black GitHub
Markdown
Readme
23
Issues
14
Stargazers
7
Watchers
Watchers
3brahimi
GabVenturato
KU Leuven
germanbraun
Allen
jhcloos
lucageatti
University of Udine
nicola-gigante
Free University of Bozen-Bolzano, Italy
paper2code-bot
@paper2code