search

ekmett / ersatz

A monad for interfacing with external SAT solvers
Other
63 stars 15 forks source link

Orderable instances for base and containers #67

Closed glguy closed 2 years ago

glguy commented 2 years ago

@RyanGlScott I appreciate you looking over everything. thanks!