Clone this repo:
  1. 101aee2 Fix build for minisat, using stp/minisat by Mate Soos · 7 weeks ago master
  2. b013570 First look for installed MiniSat, then the built one by Mate Soos · 7 weeks ago
  3. 7bcd7e5 Fixing warnings by GitHub static code analysis by Mate Soos · 7 weeks ago
  4. ab3e9e0 Update codeql-analysis.yml by Mate Soos · 7 weeks ago
  5. a26a884 Update codeql-analysis.yml by Mate Soos · 7 weeks ago
  6. 87edbdf Update codeql-analysis.yml by Mate Soos · 7 weeks ago
  7. 9745d5a Allow finding minisat through CONFIG first by Mate Soos · 7 weeks ago
  8. 3608cc2 Update codeql-analysis.yml by Mate Soos · 7 weeks ago
  9. 460d41e Create codeql-analysis.yml by Mate Soos · 7 weeks ago
  10. dc50ffd Avoid calling 'ldconfig' if it might not exist by Andrew V. Jones · 3 months ago
  11. 8d69dea Ensuring documentation consistency with the use of semicolon vs. period by Andrew V. Jones · 3 months ago
  12. a2d42bd Call CMake over (GNU) Make by Andrew V. Jones · 3 months ago
  13. e3956e0 Correcting double backticks in README by Andrew V. Jones · 3 months ago
  14. 4a614fa Updating README to update build steps and document how to run CMake without installing STP's dependencies system-wide by Andrew V. Jones · 3 months ago
  15. 3f78204 Merge pull request #367 from andrewvaughanj/scope_cleanup by Andrew V. Jones · 3 months ago
  16. c534165 Importing the latest 'GetGitRevisionDescription' CMake modules from rpavlik/cmake-modules by Andrew V. Jones · 3 months ago
  17. 3dcd8bf Ensuring that all CMake targets are correct to support no-op builds by Andrew V. Jones · 3 months ago
  18. 4e27d8f Updating code to use C++11 autos for readability by Andrew V. Jones · 3 months ago
  19. 1d0353a Merge pull request #358 from andrewvaughanj/return_bit_string by Mate Soos · 3 months ago
  20. 4314892 Adding a test to validate that popping a function invalidates the expected symbols by Andrew V. Jones · 3 months ago