PDP: A General Neural Framework for Learning Constraint Satisfaction Solvers
☆42Jun 12, 2023Updated 2 years ago
Alternatives and similar repositories for PDP-Solver
Users that are interested in PDP-Solver are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- NeuroSAT: Learning a SAT Solver from Single-Bit Supervision☆294Mar 12, 2019Updated 7 years ago
- ☆18Aug 25, 2021Updated 4 years ago
- Official repository for paper "Goal-Aware Neural SAT Solver"☆17Jun 10, 2023Updated 2 years ago
- Neuro-symbolic approaches to reasoning problems from abstract argumentation☆23Sep 14, 2022Updated 3 years ago
- PyTorch implementation of NeuroSAT☆28May 21, 2023Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- [NeurIPS 2022] "NSNet: A General Neural Probabilistic Framework for Satisfiability Problems"☆19Mar 29, 2023Updated 3 years ago
- G2SAT: Learning to Generate SAT Formulas☆49Jun 25, 2020Updated 5 years ago
- QuteRTL: A RTL Front-End Towards Intelligent Synthesis and Verification☆16Nov 8, 2016Updated 9 years ago
- Hyper Super Duper sublime text 3 theme for industrial coding.☆13Sep 23, 2019Updated 6 years ago
- ☆16Apr 30, 2021Updated 5 years ago
- [Ongoing Project] Codebase for network quantization study.☆12May 20, 2020Updated 5 years ago
- Interaction Compass: Multi-Label Zero-Shot Learning of Human-Object Interactions via Spatial Relations @ ICCV21☆13Jul 15, 2022Updated 3 years ago
- Implementation of local search-based algorithms for solving SAT and Max-SAT in Python☆13Dec 6, 2020Updated 5 years ago
- Problems and Results of IWLS 2022 Programming Contest☆22Apr 12, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Based on Neural Amp Modeler 0.7.1 with some enhanced features☆12Apr 18, 2023Updated 3 years ago
- [TMLR 2024] G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks☆40May 14, 2024Updated last year
- RESPECT: Reinforcement Learning based Edge Scheduling on Pipelined Coral Edge TPUs (DAC'23)☆11Apr 13, 2023Updated 3 years ago
- A simple SAT solver based on the CDCL algorithm☆20Sep 10, 2019Updated 6 years ago
- NeuroCore: Guiding CDCL with Unsat-Core Predictions☆47Feb 17, 2020Updated 6 years ago
- Imitation learning from multiple experts☆13Aug 29, 2022Updated 3 years ago
- This repository is outdated and the related functionality has been migrated to https://github.com/easysoc/easysoc-firrtl☆11Nov 3, 2021Updated 4 years ago
- Faithful reimplementation of Minisat 2.2 in OCaml.☆39Mar 26, 2023Updated 3 years ago
- CVRPController is used to run and calculate score for the 12th DIMACS Implementation Challenge: CVRP track.☆27Jan 13, 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.
- Code Blocks 20.03 for macOS☆11Apr 22, 2020Updated 6 years ago
- E-Syn: E-Graph Rewriting with Technology-Aware Cost Functions for Logic Synthesis (DAC 2024)☆42Jul 17, 2024Updated last year
- ☆13Dec 31, 2022Updated 3 years ago
- ☆11Feb 18, 2022Updated 4 years ago
- A Python package for creating and manipulating KML documents.☆12Jan 2, 2022Updated 4 years ago
- Procyon is the brightest star in the constellation of Canis Minor. But it's also the name of my RISC-V out-of-order processor.☆12Apr 6, 2023Updated 3 years ago
- Dynamic Hashed Blocks (DHB) data structure for dynamic graphs☆12Sep 8, 2025Updated 7 months ago
- ☆10Mar 24, 2023Updated 3 years ago
- A framework for Bayesian optimization of composite functions.☆15Dec 8, 2022Updated 3 years ago
- 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.
- This is an official repository of paper "Refining Action Segmentation with Hierarchical Video Representations", which is accepted as a re…☆17Oct 11, 2021Updated 4 years ago
- DRiLLS: Deep Reinforcement Learning for Logic Synthesis Optimization (ASPDAC'20)☆118May 18, 2023Updated 2 years ago
- Hyperparameter Tuning for Deep Learning☆16Feb 5, 2020Updated 6 years ago
- Quantum GAN algorithm based on MPS, realized by Julia.☆11Apr 5, 2019Updated 7 years ago
- Neural network decoder for large distance toric code☆13Oct 25, 2019Updated 6 years ago
- A Python API for the MiniSat and MiniCard constraint solvers.☆23Jan 1, 2026Updated 4 months ago
- Code repository accompanying the Heuristic Guided RL NeurIPS'21 paper☆17Jan 3, 2022Updated 4 years ago