| commit | d70085462f07c8a5a2f1225f727cda3ef505b141 | [log] [tgz] |
|---|---|---|
| author | Trevor Hansen <trev_abroad@yahoo.com> | Tue Jun 11 04:51:38 2024 |
| committer | Trevor Hansen <trev_abroad@yahoo.com> | Tue Jun 11 04:53:24 2024 |
| tree | aea95bbecdc643d13c8f645696f52319bd7fbad8 | |
| parent | abc1b2de9e72a2aa1d79fcc7e71c58d1b81f5e1c [diff] |
use simple CNF encoding when simplifications are disabled