Sign in
chromium
/
external
/
github.com
/
stp
/
stp
Mirrored from
https://github.com/stp/stp.git
Clone this repo:
Branches
master
Documentation-update
Documentation-update-1
cadical
coverity_scan
dev/authors
extabc
extabc_trevor
gtest-change
msoos-no-const-as-macro
More...
Tags
smtcomp2020
2.3.3
2.3.2
2.3.1
stp-2.2.0
2.1.2
2.1.1
2.1.0
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
More »