commit | 207c63a88c67a4ec673da519039ce1212565c49c | [log] [tgz] |
---|---|---|
author | Trevor Hansen <trev_abroad@yahoo.com> | Thu Jun 13 05:25:36 2024 |
committer | Trevor Hansen <trev_abroad@yahoo.com> | Thu Jun 13 05:25:36 2024 |
tree | 5ddf4cb3c8678610b8801d8c38c12df4bea5ac56 | |
parent | c4b1febb8bbd3451dcf45f5e73472d66e24a1370 [diff] |
If using Cadical, default to Cadical