Clone this repo:
  1. 0510509 Partially fix Appveyor (windows) automated build. (#478) by Trevor Hansen · 4 months ago master
  2. 4e1e3aa Trying again to get clang building the api tests by Trevor Hansen · 4 months ago
  3. f6a943b fixes #476 by Trevor Hansen · 4 months ago
  4. 0ce6a42 Trying to get uint32_t found on clang. by Trevor Hansen · 4 months ago
  5. f0e9c0e Partial revert previous checkin because some code needs this include. by Trevor Hansen · 4 months ago
  6. be10367 Improved word wrap. by Trevor Hansen · 1 year, 9 months ago
  7. 0a07d58 Update index.rst by Trevor Hansen · 1 year, 9 months ago
  8. 4110891 Update README.markdown by Trevor Hansen · 1 year, 9 months ago
  9. f399882 Remove nonsensical sbrk usage by Brooks Davis · 5 months ago
  10. 149f43f fix compiler warnings. by Trevor Hansen · 8 months ago
  11. b0a35e6 Build script for docker based on the quick install for Ubuntu 20 by Trevor Hansen · 8 months ago
  12. 7b96f1e add extra test case for let, currently not functional by Trevor Hansen · 8 months ago
  13. 7ea0e8a Implement smtlib2 format "let" properly. Fixes #388 by Trevor Hansen · 8 months ago
  14. cbedec1 Adding let tests by Andrew V. Jones · 3 years, 4 months ago
  15. dc3169b Update README.markdown by Trevor Hansen · 8 months ago
  16. e99eb4a Improve build instructions by Trevor Hansen · 8 months ago
  17. a9bc247 [gcc 13] include cstdint for *int*_t by Jiri Slaby · 1 year, 1 month ago
  18. 33b6355 Merge pull request #447 from misonijnik/master by Trevor Hansen · 1 year, 7 months ago
  19. 38f7887 Fix compilation error on libstdc++-7-dev by Aleksandr Misonizhnik · 1 year, 7 months ago
  20. 97ddd03 disable SQLITE when building cms by Trevor Hansen · 1 year, 7 months ago