2 ms·
The very first example on Github show that checking a conjecture results in one of 3 outcomes: - Unsatisfied (unsat) - Satisified (sat) - Unknown (unknown)
by deckar01 12y ago
The very first example on Github show that checking a conjecture results in one of 3 outcomes:
- Unsatisfied (unsat)
- Satisified (sat)
- Unknown (unknown)