Merging commit b3b2c475925bb8ff99795115c064e22336107f64 made in the fuzzball-adaptorsynth repository by Stephen McCamant
(mccamant@cs.umn.edu).
That commit message reads as follows:
Assert check that extra conditions are boolean
This kind of user error was previously making it all the way to the
solver, so this check should make it faster to catch.
Merging commit b3b2c475925bb8ff99795115c064e22336107f64 made in the fuzzball-adaptorsynth repository by Stephen McCamant (mccamant@cs.umn.edu). That commit message reads as follows:
Assert check that extra conditions are boolean
This kind of user error was previously making it all the way to the solver, so this check should make it faster to catch.