Obsah teto slozky je licencovan pod WTFPL – http://www.wtfpl.net/
Z licencnich duvodu zde nejsou testovane vstupy. Najdete je na https://www.cs.ubc.ca/~hoos/SATLIB/benchm.html Ty se 148 klauzlemi jsou ty s 218 jen oriznute.
Obsah teto slozky je licencovan pod WTFPL – http://www.wtfpl.net/
Z licencnich duvodu zde nejsou testovane vstupy. Najdete je na https://www.cs.ubc.ca/~hoos/SATLIB/benchm.html Ty se 148 klauzlemi jsou ty s 218 jen oriznute.