You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
MinisatPB is a variant of Minisat+ that has been altered for use with MonoSAT.
If you are just looking for a pseudo-Boolean constraint solver, consider Minisat+.