Last released May 20, 2026
An implementation of the O_SAT and O_UNSAT oracles, which cannot exist. They do now.
Supported by