SAT Live! web site
☆11Mar 11, 2026Updated 2 weeks ago
Alternatives and similar repositories for website
Users that are interested in website are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The LLVM Symbolic Simulator, part of SAW.☆22Jul 17, 2020Updated 5 years ago
- Scala Improvement Process☆14Aug 21, 2016Updated 9 years ago
- The purpose of the course is to teach students how to program in Cryptol, a domain specific language for cryptography.☆27Nov 15, 2024Updated last year
- Lecture notes, exercises, homeworks for Brown CS1951x 2023☆12Jan 31, 2024Updated 2 years ago
- Collection of Distributed Protocol Verification Problems☆15Apr 27, 2024Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- A research platform and active library for generalised SAT solving☆33Jun 12, 2025Updated 9 months ago
- An efficient, embeddable DPLL SAT solver in Haskell☆37Jul 2, 2015Updated 10 years ago
- Interface for defining and solving SAT problems in Rust☆14Sep 1, 2016Updated 9 years ago
- Git repository for the course Logika v računalništvu☆15Apr 5, 2022Updated 3 years ago
- Aggregation of SymPy related blogs☆15Updated this week
- an enumerative reactive synthesis tool for the GR(1) fragment of LTL☆13Jan 5, 2026Updated 2 months ago
- pypi mirror status (no longer maintained see https://github.com/ibigbug/pypi-mirrors)☆80Nov 10, 2021Updated 4 years ago
- Please refer to the official version of cddlib on github instead.☆13May 1, 2018Updated 7 years ago
- Slurm job script archival☆12Mar 16, 2026Updated last week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Low level text primitives☆15Mar 4, 2020Updated 6 years ago
- GCLOG is a lightweight daemon running in the background and constantly reporting your Geiger counter readings to various radiation monito…☆10Aug 9, 2023Updated 2 years ago
- Action to check that PRs have changed certain files☆12Feb 25, 2026Updated last month
- Tool to generate markdown files from lean files. This is heavily inspired by lean2md.☆24Updated this week
- Eliza psychotherapist in Node.js as a promised based AI☆14Sep 7, 2017Updated 8 years ago
- Lennard Jones in Lean☆21Jul 14, 2025Updated 8 months ago
- CPython that can be installed using pip☆17May 1, 2022Updated 3 years ago
- Data Aggregation System (DAS) Go client☆10Jul 26, 2024Updated last year
- Cube-and-Conquer SAT solver☆44Jul 14, 2025Updated 8 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Bare essentials for building abstract syntax trees, and skeleton classes for PLY lexers and parsers.☆18Jun 4, 2025Updated 9 months ago
- GitHub action for standard CI in Lean projects☆31Mar 3, 2026Updated 3 weeks ago
- ☆12May 1, 2024Updated last year
- Bumps package versions☆16Jan 21, 2026Updated 2 months ago
- Open a rendered version of the ReStructuredText in the current editor with `ctrl-shift-r`.☆22Dec 4, 2018Updated 7 years ago
- ☆17May 10, 2017Updated 8 years ago
- Repositorio de la optativa para la FCEIA☆14Apr 8, 2025Updated 11 months ago
- Twemoji plugin for Jekyll.☆11Jun 18, 2016Updated 9 years ago
- Elliptic Curve Multiset Hash☆19Oct 27, 2018Updated 7 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Anki's manual☆13Jul 16, 2022Updated 3 years ago
- An advanced automated reasoning tool for memory consistency model specifications.☆25Dec 6, 2021Updated 4 years ago
- CLI to make HTML presentations from Markdown documents☆23Aug 6, 2023Updated 2 years ago
- 🛠️ tcping-rs: Rust (rs) TCP Ping (tcping) Utility for Port Reachability.☆25Mar 18, 2026Updated last week
- Webpage source for compilers-webpage☆42May 17, 2018Updated 7 years ago
- Type Checking in Lean 4☆36Updated this week
- ☆14Updated this week