☆30Dec 8, 2024Updated last year
Alternatives and similar repositories for AutoSAT
Users that are interested in AutoSAT 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 Simple CDCL Solver☆37Mar 8, 2023Updated 3 years ago
- This package provides an interface and foundation for verified SAT reasoning☆57Aug 29, 2024Updated last year
- ☆14May 15, 2023Updated 3 years ago
- LLM Evaluation Framework for Hardware Design Using Python-Embedded DSLs☆18Aug 26, 2024Updated last year
- ☆13Jul 5, 2026Updated last month
- 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.
- OriGen: Enhancing RTL Code Generation with Code-to-Code Augmentation and Self-Reflection(ICCAD 2024)☆33Oct 20, 2024Updated last year
- ☆23Jul 16, 2026Updated 3 weeks ago
- ☆49May 18, 2024Updated 2 years ago
- A standalone local search solver for general integer linear programming☆16Jul 8, 2024Updated 2 years ago
- This is the Github Repo for the paper: VeriReason: Reinforcement Learning with Testbench Feedback for Reasoning-Enhanced Verilog Generati…☆29Sep 25, 2025Updated 10 months ago
- Language Models for Code Completion: a Practical Evaluation☆13Jan 19, 2024Updated 2 years ago
- Unlearnable Examples Give a False Sense of Security: Piercing through Unexploitable Data with Learnable Examples☆11Oct 14, 2024Updated last year
- Parallel SAT solver that won the SAT Competition 2022 by a large margin (24% faster than the 2nd ranked solver)☆26Dec 6, 2022Updated 3 years ago
- ☆14Oct 7, 2023Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A fuzzer for SMT solvers☆22May 8, 2026Updated 3 months ago
- Random Generator of Btor2 Files☆10Sep 2, 2023Updated 2 years ago
- Official code of HierCDF @ SIGKDD2022☆12Aug 14, 2022Updated 3 years ago
- PyTorch使用技巧和教程☆12Apr 17, 2023Updated 3 years ago
- This repository includes the data and scripts utilized in the study titled "Improving LLM-based Verilog Code Generation with Data Augment…☆14Mar 24, 2025Updated last year
- Connecting bv_decide to SMTLIB.☆16Aug 3, 2026Updated last week
- Fair Representation Learning for Recommendation: A Mutual Information-Based Perspective. AAAI, 2023.☆12Feb 26, 2023Updated 3 years ago
- Crate for reading TPTP files.☆16May 11, 2022Updated 4 years ago
- TuRTLe: A Unified Evaluation of LLMs for RTL Generation 🐢 (MLCAD 2025, ACM TODAES 2026)☆48Jul 22, 2026Updated 2 weeks ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- MICRO 2023 Evaluation Artifact for TeAAL☆11Oct 26, 2023Updated 2 years ago
- Optimize Z3 strategies for your problem!☆28Aug 3, 2026Updated last week
- SAT solvers from Knuth's The Art of Computer Programming, Vol. 4B☆10Jan 5, 2026Updated 7 months ago
- Offical implementation of the paper "Rhizomorph: The Coordinated Function of Shoots and Roots"☆15Nov 21, 2023Updated 2 years ago
- Fast Symbolic Repair of Hardware Design Code☆39Jan 20, 2025Updated last year
- Control Logic Synthesis: Drawing the Rest of the OWL☆13Jun 17, 2024Updated 2 years ago
- Official code of "Boosting Differentiable Causal Discovery via Adaptive Sample Reweighting" (2023 ICLR)☆16Mar 19, 2023Updated 3 years ago
- StarExec is a cross community logic solving service☆19Jun 1, 2025Updated last year
- ☆10Jun 28, 2022Updated 4 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- [IJCAI'23] Speeding Up Multi-Objective Hyperparameter Optimization by Task Similarity-Based Meta-Learning for the Tree-Structured Parzen …☆10Apr 24, 2026Updated 3 months ago
- ☆12Sep 29, 2021Updated 4 years ago
- The official implementation of InvRL☆13Oct 19, 2022Updated 3 years ago
- Collection of utlities for writing parsers. Includes a fast DIMACS CNF parser.☆15Nov 19, 2024Updated last year
- ☆19Jun 17, 2026Updated last month
- ☆44Apr 11, 2025Updated last year
- 🧮 Algebraic Positional Encodings.☆21Jun 5, 2026Updated 2 months ago