search

bruderj15 / Hasmtlib

A monad for interfacing with external SMT solvers
GNU General Public License v3.0
13 stars 1 forks source link

Relation #90

Closed bruderj15 closed 2 months ago

bruderj15 commented 2 months ago

Boolean relations like Ersatz.Relation. Maybe API a little more compact.

bruderj15 commented 2 months ago

I do not like all the partial functions in above implementation. Indexing via lens-class Ixed would also be highly pleasing. Ideally we have a:

bruderj15 commented 2 months ago

Sized arrays would make an ugly API.