@hackage / ersatz-toysat

toysat driver as backend for ersatz