• Karel Koci's avatar
    Remove unneeded sat module · a444adb6
    Karel Koci authored
    This module was originally for ability to decide if clauses are valid
    after they are generated. This is not required with current
    implementation.
    a444adb6
Name
Last commit
Last update
build @ 4f7843d2 Loading commit data...
design Loading commit data...
legacy Loading commit data...
src Loading commit data...
tests Loading commit data...
utils/opkg-create Loading commit data...
.gitignore Loading commit data...
.gitmodules Loading commit data...
COPYING Loading commit data...
Makefile Loading commit data...
Makefile.dir Loading commit data...