Geeks
lip6
/
painless
A framework to ease parallelization of sequential SAT solvers
Primary Language
C++
Other
NOASSERTION
painless Home Page
painless GitHub
Markdown
Readme
0
Issues
15
Stargazers
6
Watchers
Watchers
crb75
fkordon
Sorbonne Université (ex UPMC)
jevinskie
Lafayette, Indiana
jhcloos
lhillah
Meritis
yanntm
LIP6, Sorbonne Université, CNRS