java-smt icon indicating copy to clipboard operation
java-smt copied to clipboard

Published 20 hours ago • verified publisher icon sosy-lab

Adding dReal to JavaSMT

Open baierd opened this issue 2 years ago • 0 comments

This issue documents the addition of dReal to JavaSMT by @juliusbrehme. Problems are discussed and/or documented here if necassary.

baierd avatar Jun 12 '23 11:06 baierd