-
Mathias Preiner authored
commit a68f219c Author: Mathias Preiner <mathias.preiner@gmail.com> Date: Thu Feb 18 10:09:57 2021 -0800 Update README.md. commit 4179e17c Author: Mathias Preiner <mathias.preiner@gmail.com> Date: Tue Feb 16 14:27:53 2021 -0800 Moved benchmarks from UF without quantifiers.
07634ff7