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.
-
Notifications
You must be signed in to change notification settings - Fork 0
tomaspre/MI-PAA
About
MI-PAA course @ CTU FIT
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published