[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
| Date: | -- (:) |
| From: | Grundy, Jim D <jim.d.grundy@i...> |
| Subject: | Re: Using OCaml with SMT solvers |
You might also want to look at the Decision Procedure Toolkit (DPT): http://dpt.sourceforge.net/ DPT is an open source (Apache 2 licensed, source forge hosted) SMT solver implemented in OCaml with good performance. The current release supports only SAT + EUF, but future releases will soon add integer and rational linear arithmetic - of course, you can always add the theory you want yourself. Kind regards Jim Grundy