ferroplan-sat v0.24.0 — ferroplan's in-tree CDCL SAT solver — absorbed from varisat 0.2.2 and carried forward as ferroplan code

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