Google Git
Sign in
chromium/external/github.com/stp/stp/refs/tags/2.3.4
commit
d70085462f07c8a5a2f1225f727cda3ef505b141
[log]
author
Trevor Hansen <trev_abroad@yahoo.com>
Tue Jun 11 04:51:38 2024
committer
Trevor Hansen <trev_abroad@yahoo.com>
Tue Jun 11 04:53:24 2024
tree
aea95bbecdc643d13c8f645696f52319bd7fbad8
parent
abc1b2de9e72a2aa1d79fcc7e71c58d1b81f5e1c [diff]
use simple CNF encoding when simplifications are disabled
1 file changed
tree: aea95bbecdc643d13c8f645696f52319bd7fbad8
  1. .github/
  2. bindings/
  3. cmake/
  4. data/
  5. docs/
  6. examples/
  7. include/
  8. lib/
  9. papers/
  10. scripts/
  11. tests/
  12. tools/
  13. utils/
  14. windows/
  15. .clang-format
  16. .dockerignore
  17. .gitignore
  18. appveyor.yml
  19. AUTHORS
  20. CMakeLists.txt
  21. Docker.ubuntu20
  22. Dockerfile
  23. LICENSE
  24. LICENSE_COMPONENTS
  25. README.markdown
  26. STPConfig.cmake.in
  27. STPConfigVersion.cmake.in