PDP: A General Neural Framework for Learning Constraint Satisfaction Solvers
☆42Jun 12, 2023Updated 3 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☆296Mar 12, 2019Updated 7 years ago
- Combinatorial Optimization with Graph Convolutional Networks and Guided Tree Search☆155Sep 2, 2024Updated 2 years ago
- Official repository for paper "Goal-Aware Neural SAT Solver"☆17Jun 10, 2023Updated 3 years ago
- propositional satisfiability problem (SAT) goes neural and deep☆12Aug 17, 2021Updated 5 years ago
- PyTorch implementation of NeuroSAT☆28May 21, 2023Updated 3 years ago
- 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.
- [NeurIPS 2022] "NSNet: A General Neural Probabilistic Framework for Satisfiability Problems"☆19Mar 29, 2023Updated 3 years ago
- G2SAT: Learning to Generate SAT Formulas☆50Jun 25, 2020Updated 6 years ago
- QuteRTL: A RTL Front-End Towards Intelligent Synthesis and Verification☆18Nov 8, 2016Updated 9 years ago
- Implementation of local search-based algorithms for solving SAT and Max-SAT in Python☆13Dec 6, 2020Updated 5 years ago
- ☆16Apr 30, 2021Updated 5 years ago
- A toolkit for SAT-based prototyping in Python☆459Aug 16, 2026Updated 2 weeks ago
- Interaction Compass: Multi-Label Zero-Shot Learning of Human-Object Interactions via Spatial Relations @ ICCV21☆13Jul 15, 2022Updated 4 years ago
- [Archived Project] Codebase for network quantization study.☆12May 20, 2020Updated 6 years ago
- NLocalSAT; Boosting Local Search with Solution Prediction☆18Aug 4, 2023Updated 3 years ago
- 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.
- 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☆41May 14, 2024Updated 2 years ago
- "Learning Discrete and Continuous Factors of Data via Alternating Disentanglement" accepted at ICML2019☆22Aug 22, 2019Updated 7 years ago
- MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers☆28Updated this week
- RESPECT: Reinforcement Learning based Edge Scheduling on Pipelined Coral Edge TPUs (DAC'23)☆11Apr 13, 2023Updated 3 years ago
- Dynamic Hashed Blocks (DHB) data structure for dynamic graphs☆13Sep 8, 2025Updated 11 months ago
- Navigation Turing Test (NTT): Learning to Evaluate Human-Like Navigation [ICML 2021]☆14Jul 17, 2025Updated last year
- This repository is outdated and the related functionality has been migrated to https://github.com/easysoc/easysoc-firrtl☆11Nov 3, 2021Updated 4 years ago
- Lean 4 Metamath verifier☆24Dec 12, 2025Updated 8 months ago
- 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.
- CVRPController is used to run and calculate score for the 12th DIMACS Implementation Challenge: CVRP track.☆27Jan 13, 2022Updated 4 years ago
- A C++ Toolkit for Encoding Pseudo-Boolean Constraints into CNF☆23Jul 18, 2024Updated 2 years ago
- The code of EMNLP 2019 paper "A Split-and-Recombine Approach for Follow-up Query Analysis"☆18Jul 20, 2023Updated 3 years ago
- Code Roberta version of RetroMAE: Pre-Training Retrieval-oriented Language Models Via Masked Auto-Encoder☆10Mar 16, 2023Updated 3 years ago
- ☆14Dec 31, 2022Updated 3 years ago
- Spatiotemporal OD prediction based on traffic zones☆13May 26, 2025Updated last year
- 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
- A Python package for creating and manipulating KML documents.☆12Jan 2, 2022Updated 4 years ago
- Extending the Neural Graph Algorithm Executor☆13Dec 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.
- Piecewise curve approximation☆10Feb 3, 2016Updated 10 years ago
- A framework for Bayesian optimization of composite functions.☆15Dec 8, 2022Updated 3 years ago
- Neural network decoder for large distance toric code☆13Oct 25, 2019Updated 6 years ago
- Dump a quantum circuit in Yao to a tensor network graphical model☆11Dec 11, 2020Updated 5 years ago
- DRiLLS: Deep Reinforcement Learning for Logic Synthesis Optimization (ASPDAC'20)☆122May 18, 2023Updated 3 years ago
- A Python API for the MiniSat and MiniCard constraint solvers.☆24Jun 17, 2026Updated 2 months ago
- C++ logic network library☆304Updated this week