Daniel Bryce
Results
2
comments of
Daniel Bryce
I have a fork at: https://github.com/danbryce/dreal4 that will generate unsat cores. I changed the build flags for picosat to generate unsat cores, which was disabled in the main dreal4 repository....
I have a Docker build that first builds ibex and then dreal. It is based on Ubuntu 20.04. The build is somewhat bespoke for another project depending on dreal, but...