SCABOLIC这是Scabolic源代码的官方存储库。Scabolic的目标是在单个工具/库中组合多种自动推理算法。特别是这应该支持SAT/SMT求解以及来自计算机代数的功能。Scabolic是用Scala编程语言编写的，并提供一种很好的领域特定语言(DSL)，可用作Scala REPL中的交互式工具或用作Scala库。目前，Scabolic提供了两个文档化的接口：CafeSat工具使用内部SAT求解器的Scala API。

设置该项目依赖于库，需要从存储库中单独构建，并将其jar添加到类路径中。要构建Scabolic，只需键入：sbt package

CafeSat CafeSat是Scabolic中SMT求解器的工具接口。构建CafeSat：