satlive / websiteLinks
SAT Live! web site
☆11Updated 3 weeks ago
Alternatives and similar repositories for website
Users that are interested in website are comparing it to the libraries listed below
Sorting:
- Lean 4 tutorial files☆52Updated 2 months ago
- Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver☆77Updated 2 years ago
- The formal proof of the Kepler conjecture☆172Updated last year
- Approximate Model Counter☆82Updated 3 weeks ago
- LaTeX Styles provided by Dagstuhl Publishing☆40Updated last year
- SAT Solver SATCH☆120Updated 3 years ago
- A Python script to create cactus and scatter plots based on matplotlib☆27Updated 4 years ago
- Successor to PolyBoRi☆22Updated 4 months ago
- CaDiCaL SAT Solver☆514Updated this week
- Hanoi Omega-Automata Format☆15Updated 3 years ago
- The DRAT-trim proof checker☆68Updated last year
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition☆51Updated 4 years ago
- L-Functions and Modular Forms Database☆281Updated this week
- Embedded algebraic number fields☆14Updated 2 months ago
- Lean Library currently studying for a degree at Imperial College☆229Updated 11 months ago
- A Lean file formatter☆71Updated 3 years ago
- ☆165Updated 6 years ago
- Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy☆215Updated last month
- A formal proof of the independence of the continuum hypothesis☆142Updated last year
- Specify and synthesize systems using symbolic algorithms☆52Updated last month
- Automated Reasoning in Nonlinear Theories of Reals☆179Updated last week
- ☆16Updated 2 years ago
- Communication between Coq and SAT/SMT solvers☆163Updated this week
- Overview of different methods to build LaTeX with GitHub Actions or Travis-CI (idea by @jackolney but completely rewritten by @PHPirates …☆109Updated 4 years ago
- Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…☆122Updated last year
- Generate HTML documentation for mathlib and Lean☆22Updated last year
- A program for making zooming slides in figma.☆41Updated 7 months ago
- Extension for VS Code that provides support for the older Lean 3 language. Succeeded by vscode-lean4 ('lean4' in the extensions menu) for…☆116Updated 10 months ago
- A Modern Probabilistic Model Checker☆160Updated this week
- Automatic parallel divide-and-conquer programs synthesizer☆16Updated 4 years ago