valentin_lechner/sathelper
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
4 Commits 1 Branch 0 Tags 30 KiB
C++ 97.4%
CMake 2.6%
main
Go to file
Valentin Lechner d51bb82490
Merge pull request #1 from docktordreh/docktordreh-patch-1 
Create LICENSE
2023-06-16 18:45:06 +02:00
.gitignore Aufnahme SatHelper implementation 2023-06-16 18:29:57 +02:00
CMakeLists.txt Aufnahme SatHelper implementation 2023-06-16 18:29:57 +02:00
LICENSE Create LICENSE 2023-06-16 18:39:35 +02:00
README.md Aufnahme README 2023-06-16 18:31:40 +02:00
sathelper.cpp Aufnahme SatHelper implementation 2023-06-16 18:29:57 +02:00
sathelper.h Aufnahme SatHelper implementation 2023-06-16 18:29:57 +02:00

README.md

sathelper

This is a c++ implementation of 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.