hyerdesignm

The wiki here: https://github.com/esbmc/esbmc/wiki/Counterexample%E2%80%90guided-abstraction-refinement:-Integer-vs-bit%E2%80%90vector-encoding Suggests a problem in esbmc where it can't optimise for large numbers (here 100k bit-vectors are used), whereas, if regular-sized integers (32 bit or 64 bit),...

The installation process isn't made very clear. Your github page for FreeBSD makes the process quite unclear, to quote from it, it states: "pkg install git cmake python3 z3 bison...