bevy_emerge_solver v0.1.0 — A Boolean satisfiability back-end that answers the same way every run, on every machine: no clock, no threads, no entropy, and a give-up budget counted in conflicts rather

Sign in to join the discussion — your thebay.events account works here.