You cannot select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
8 lines
240 B
Markdown
8 lines
240 B
Markdown
1 year ago
|
# sathelper
|
||
|
|
|
||
|
|
This is a c++ implementation of [biotomas' SatHelper](https://github.com/biotomas/SatHelper).
|
||
|
|
|
||
|
|
As the original, it aims to improve the Boolean SAT (MaxSAT not yet implemented) users life.
|
||
|
|
|
||
|
|
It is intended to be used as library.
|