Experimental constraint solver for Dexpler. Disabled by default.