https://git.slc.ar/slococo-uni/bssolver
slococo-uni/bssolver: Bottler Sat Solver - Git server
bssolver - Bottler Sat Solver
sat solverunibottlergitserver
https://www.studysmarter.de/schule/informatik/theoretische-informatik/erfuellbarkeitsproblem/
SAT Problem: SAT Solver & Definition | StudySmarter
SAT Problem: ✓ SAT solver ✓ 3 SAT ✓ 2 SAT ✓ k SAT ✓ Informatik ✓ Definition ✓ Beispiel ✓ np-vollständig.
sat problemsolverdefinition