overapproxs: drop unsat disjuncts
We want to simplify the formula as much as possible.
parent
e7696dd1
Please register or sign in to comment
SCHEDULED DOWNTIME: GitLab's virtual host must be rebooted to increase system resources. The reboot will occur on Wednesday, 2024-05-15, between 6:00 and 7:00 PM.
We want to simplify the formula as much as possible.