We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent c295aea commit 70f593aCopy full SHA for 70f593a
.travis.yml
README.md
@@ -1,5 +1,4 @@
1
[](https://opensource.org/licenses/MIT)
2
-[](https://app.travis-ci.com/github/arminbiere/cadical)
3
4
5
CaDiCaL Simplified Satisfiability Solver
0 commit comments