Add complex workarounds for non-deterministic failures in MiniSat.
Add complex workarounds for non-deterministic failures in MiniSat.

This is sketchy. Sometimes Mistral 1 and 2 will fail but MiniSat will
find a solution. However, the compacted dimensions (e.g. Beth.age == 34)
will return large integers (e.g. 4231331) rather than 1 or 0.

Requesting the original compacted value and doing comparison in Python
works. Usually.

PhilHarnish/forge,PhilHarnish/forge,PhilHarnish/forge,PhilHarnish/forge,PhilHarnish/forge,PhilHarnish/forge