wenkokke / schmitty

Agda bindings to SMT-LIB2 compatible solvers.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

wenkokke/schmitty Stargazers