Schedule for ArtOfSAT
☆12Oct 11, 2023Updated 3 years ago
Alternatives and similar repositories for ShonanArtOfSAT
Users that are interested in ShonanArtOfSAT are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 🧠 A translator between answer set programs and first-order logic☆17Oct 20, 2026Updated 2 weeks ago
- ProB 2.0☆11Jul 19, 2019Updated 7 years ago
- Offline partial evaluation system for Prolog written using the cogen approach☆22Jul 19, 2016Updated 10 years ago
- A simple SAT solver based on the CDCL algorithm☆20Sep 10, 2019Updated 7 years ago
- EvolveGen: Algorithmic Level Hardware Model Checking Benchmark Generation through Reinforcement Learning (TACAS 2026)☆10Oct 9, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Guiding Program Synthesis by Learning to Generate Examples☆13Jul 23, 2023Updated 3 years ago
- Course material for "Automation of Logical Reasoning"☆10May 26, 2025Updated last year
- Challenging SAT benchmarks for matrix multiplication☆13Oct 28, 2021Updated 5 years ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆13Sep 25, 2026Updated last month
- ☆14Jun 15, 2026Updated 4 months ago
- Rust binding for the HiGHS linear programming solver☆21Jun 29, 2026Updated 4 months ago
- ☆14Dec 31, 2024Updated last year
- Online partial evaluator for pure Prolog programs (with built-ins)☆13Jan 12, 2026Updated 9 months ago
- A tree-sitter grammar for Soufflé Datalog☆18Oct 25, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A package for doing flag algebra computations with the Sage mathematics system. Written in Python and Cython.☆13Mar 16, 2020Updated 6 years ago
- propositional satisfiability problem (SAT) goes neural and deep☆12Aug 17, 2021Updated 5 years ago
- Rust interface for cvc5☆17Oct 13, 2026Updated 3 weeks ago
- OCaml library to transform an Llvm control flow graph in an SMT formula.☆13Apr 20, 2018Updated 8 years ago
- Fully proved small C functions (examples for verification course).☆17Jun 26, 2017Updated 9 years ago
- A minimalistic and high-performance SAT solver☆26Mar 4, 2024Updated 2 years ago
- Complexity Analysis Tool for Integer Programs☆15Jan 30, 2026Updated 9 months ago
- A parser based on the ALL(*) algorithm, implemented and verified in Coq.☆15Feb 14, 2023Updated 3 years ago
- Grain of Salt equation generator☆19May 6, 2022Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Binsec/Rel is an extension of Binsec that implements relational symbolic execution for constant-time verification and secret-erasure at b…☆34Jan 25, 2025Updated last year
- A certified checker for Datalog entailments, written in Lean☆14Oct 22, 2026Updated 2 weeks ago
- log parser for MIP and LP solvers☆23Oct 1, 2026Updated last month
- Easy bindings between Lean and Python.☆37Oct 31, 2026Updated last week
- MaxHS: a hybrid Maxsat solver developed by Jessica Davies and Fahiem Bacchus☆29Jan 24, 2022Updated 4 years ago
- ☆17May 24, 2023Updated 3 years ago
- OptiTrust☆16Updated this week
- A small project that uses Discrete Denoising Diffusion Probabilistic Models (D3PMs), a generative model for discrete data that builds upo…☆19Aug 10, 2024Updated 2 years ago
- FPGA synthesis tool powered by equality saturation and program synthesis.☆17Jan 9, 2026Updated 9 months ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Code for the differentiable feasibility pump☆10Aug 24, 2026Updated 2 months ago
- ☆10Aug 18, 2025Updated last year
- A collaborative benchmark of Discrete Combinatorial Problems for evaluating AI systems in generating constraint models from natural langu…☆25Updated this week
- ASCII 🐮s☆12May 23, 2019Updated 7 years ago
- ☆16Oct 3, 2021Updated 5 years ago
- ☆20Aug 17, 2023Updated 3 years ago
- [SIGKDD 2023] HardSATGEN: Understanding the Difficulty of Hard SAT Formula Generation and A Strong Structure-Hardness-Aware Baseline☆23Jun 16, 2023Updated 3 years ago