Ryan Govostes
Ryan Govostes
@andrewvaughanj disabled static builds in #368. This bug tracks re-enabling them once the issue is resolved.
`Bit::Vector` aka `CONSTANTBV` is [LGPL-2](http://www.gnu.org/licenses/old-licenses/lgpl-2.0.html) licensed, and the implementation is somewhat cumbersome to use. Here are the operations that are currently used, most of which would need to be reimplemented:...
It looks like the docs just talk about the C and Python APIs, and don't talk about the command line tools.
If we can avoid having our own internal copy of ABC, we perhaps should. However, we should carefully evaluate the impact of doing so. The copyright dates in the code...
This change removes author attribution from the tops of files. The intention is not to deny anyone recognition for the work, but I will let this sit for a little...
It looks like we just have some brief notes about compiling on Windows. In particular, it vaguely tells the user to install Zlib. Where does one get this? How does...
On http://stp.github.io the last results were in 2014.
Commit 80742b4858e695e741a30f6d4111ee63e6917e9c broke the build: https://travis-ci.org/stp/stp/builds/428358275
STP will go SMT-LIB2-only in version 3.0. As @msoos points out, only CVC and STP support the CVC input language, and even CVC4 supports SMT-LIB2.
We should configure Read the Docs to generate Doxygen output. There's a tool, Breathe, [which can be used](https://breathe.readthedocs.io/en/latest/readthedocs.html).