☆14Dec 31, 2024Updated last year
Alternatives and similar repositories for neuroback
Users that are interested in neuroback are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- CaDiCaL BackBone Analyzer☆12Oct 19, 2024Updated 2 years ago
- Challenging SAT benchmarks for matrix multiplication☆13Oct 28, 2021Updated 5 years ago
- A framework to ease parallelization of sequential SAT solvers☆36May 17, 2026Updated 5 months ago
- ☆16Sep 14, 2020Updated 6 years ago
- propositional satisfiability problem (SAT) goes neural and deep☆12Aug 17, 2021Updated 5 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.
- An advanced circuit-based sat solver☆39Feb 24, 2025Updated last year
- SATZilla SAT feature extraction tool☆17Mar 23, 2026Updated 7 months ago
- Files associated with the course Interactive Theorem Proving at LMU SoSe 2026☆13Jul 15, 2026Updated 3 months ago
- [TMLR 2024] G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks☆41May 14, 2024Updated 2 years ago
- Write Python modules in Lean! (WIP)☆17Oct 28, 2026Updated last week
- Translate Chisel hardware design code to Scala simulation code.☆15May 15, 2025Updated last year
- Using GNN and DQN to find a baetter branching heuristic for a CDCL Solver☆54Oct 20, 2020Updated 6 years ago
- NeuroCore: Guiding CDCL with Unsat-Core Predictions☆47Feb 17, 2020Updated 6 years ago
- EvolveGen: Algorithmic Level Hardware Model Checking Benchmark Generation through Reinforcement Learning (TACAS 2026)☆10Oct 9, 2025Updated last year
- 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.
- ☆15Feb 6, 2021Updated 5 years ago
- Schedule for ArtOfSAT☆12Oct 11, 2023Updated 3 years ago
- ☆15Dec 6, 2023Updated 2 years ago
- A tool to connect SMT-based frontends to Lean4.☆21Updated this week
- Examples of refining software and circuit implementations from their specifications in the style of the Bird-Meertens formalism.☆18Oct 15, 2026Updated 3 weeks ago
- A fuzzer for SMT solvers☆23May 8, 2026Updated 6 months ago
- A high-efficiency hybrid solving CEC algorithm☆14May 25, 2023Updated 3 years ago
- Implementation of local search-based algorithms for solving SAT and Max-SAT in Python☆13Dec 6, 2020Updated 5 years ago
- Train a harness to improve its model-agnostic and task-env-agnostic capabilities with PyTorch-like APIs☆24Jul 20, 2026Updated 3 months 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.
- A tool for testing SMT solvers for incompleteness bugs☆18Oct 12, 2022Updated 4 years ago
- A Boolean circuit minimizer☆18Sep 14, 2026Updated last month
- A Python API for the MiniSat and MiniCard constraint solvers.☆24Jun 17, 2026Updated 4 months ago
- [NeurIPS 2022] "NSNet: A General Neural Probabilistic Framework for Satisfiability Problems"☆19Mar 29, 2023Updated 3 years ago
- Grain of Salt equation generator☆19May 6, 2022Updated 4 years ago
- E-Syn: E-Graph Rewriting with Technology-Aware Cost Functions for Logic Synthesis (DAC 2024)☆46Jul 17, 2024Updated 2 years ago
- A practical fuzzing tool for SMT solvers☆11Nov 26, 2025Updated 11 months ago
- the Pytorch implementation of A Dynamic Multi-Modal Deep Reinforcement Learning Framework for 3D Bin Packing Problem☆12Sep 6, 2025Updated last year
- CBMC Viewer scans the output of CBMC and produces a browsable summary of its findings, making it easy to root cause the issues it finds.☆41Sep 1, 2026Updated 2 months 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.
- Official repository for paper "Goal-Aware Neural SAT Solver"☆17Jun 10, 2023Updated 3 years ago
- PRO-V: An Efficient Program Generation Multi-Agent System for Automatic RTL Verification☆36Dec 11, 2025Updated 10 months ago
- Bit-bLAsting solving Non-linear integer constraints.☆22Jul 3, 2025Updated last year
- The Z3-Noodler String Solver☆35Updated this week
- ☆17May 24, 2023Updated 3 years ago
- Collection of Automated Reasoners☆39Oct 14, 2026Updated 3 weeks ago
- Object storage with metadata, expiration, and auditing☆15Updated this week