external/github.com/stp/stp - Git at Google

Mirrored from https://github.com/stp/stp.git

Clone this repo:

Branches

Tags

a9bc247 [gcc 13] include cstdint for *int*_t by Jiri Slaby · 2 months ago master
33b6355 Merge pull request #447 from misonijnik/master by Trevor Hansen · 9 months ago
38f7887 Fix compilation error on libstdc++-7-dev by Aleksandr Misonizhnik · 9 months ago
97ddd03 disable SQLITE when building cms by Trevor Hansen · 9 months ago
d0fc3e3 Fix so user flags are respected by Trevor Hansen · 9 months ago
191692d Convert ordered collections to faster unordered collections. by Trevor Hansen · 9 months ago
c5f440a copy on write to reduce the number of malloc/free by Trevor Hansen · 9 months ago
cda427c Cleanup the dependency building code by Trevor Hansen · 9 months ago
2b4a2da Small changes to make core simplification algorithms faster. by Trevor Hansen · 9 months ago
8c2b9c5 Improve again on the performance of QF_BV benchmark problems. by Trevor Hansen · 10 months ago
5a34f8d Handle an extra case in unconstrained variable elimination. by Trevor Hansen · 10 months ago
d29b19d Improve again on the performance of QF_BV benchmark problems. by Trevor Hansen · 10 months ago
15562cf Fix test cases so that they work when stp has pure variable removal disabled. by Trevor Hansen · 10 months ago
c47f514 Tune the parameters to improve performance on QF_BV benchmark problems by Trevor Hansen · 10 months ago
5f6f2e0 Adding REQUIRE for Perl by Mate Soos · 10 months ago
8ea9201 Remove some mentions of the CVC format from our documentation. by Trevor Hansen · 10 months ago
ee83ef7 Remove mention of CVC from front readme. by Trevor Hansen · 10 months ago
a69e0a0 Update codeql-analysis.yml by Trevor Hansen · 10 months ago
644d43a fix #128 by Trevor Hansen · 10 months ago
4ce784e Clarrify as discussed in #4, that the bitvector library is also licensed under the artistic licence. by Trevor Hansen · 10 months ago