HaskellSMT

Haskellで使えるSMT関係のライブラリ他のメモ。

 パーサ・プリンタ

smt-lib

パーサとプリンタ。 数年以上メンテナンスされていない。

Hsmtlib

後述

Smtlib / SmtLib

Hsmtlibのパーサとプリンタ部分を切り出したものだと思う。 自分のtoysmtではとりあえずこれを使ってみたが、色々不都合があり結局ローカルに色々書き換えたものを使っている。 プルリクエストも色々と送っているが、あまり取り込んでもらえていない。

Last modified:2016/07/15 12:49:52
Keyword(s):
References: