• 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