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:
- Learning local search heuristics for Boolean satisfiability☆37May 8, 2024Updated last year
- NeuroSAT: Learning a SAT Solver from Single-Bit Supervision☆293Mar 12, 2019Updated 7 years ago
- ☆18Aug 25, 2021Updated 4 years ago
- Combinatorial Optimization with Graph Convolutional Networks and Guided Tree Search☆155Sep 2, 2024Updated last year
- Official repository for paper "Goal-Aware Neural SAT Solver"☆17Jun 10, 2023Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Neuro-symbolic approaches to reasoning problems from abstract argumentation☆23Sep 14, 2022Updated 3 years ago
- [NeurIPS 2022] "NSNet: A General Neural Probabilistic Framework for Satisfiability Problems"☆19Mar 29, 2023Updated 3 years ago
- QuteRTL: A RTL Front-End Towards Intelligent Synthesis and Verification☆16Nov 8, 2016Updated 9 years ago
- A development of homotopy theory in the Lean formal theorem prover.☆14Aug 27, 2020Updated 5 years ago
- ☆16Apr 30, 2021Updated 4 years ago
- A toolkit for SAT-based prototyping in Python☆446Mar 5, 2026Updated last month
- Automated Reasoning for the Working Mathematician☆11Aug 30, 2019Updated 6 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
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Implementation of local search-based algorithms for solving SAT and Max-SAT in Python☆13Dec 6, 2020Updated 5 years ago
- A controlled natural language for calculus of inductive constructions, based on Forthel.☆14Mar 2, 2021Updated 5 years ago
- Problems and Results of IWLS 2022 Programming Contest☆22Apr 12, 2025Updated last year
- Based on Neural Amp Modeler 0.7.1 with some enhanced features☆12Apr 18, 2023Updated 2 years ago
- Fast Genetic Programming☆11Oct 10, 2019Updated 6 years ago
- "Learning Discrete and Continuous Factors of Data via Alternating Disentanglement" accepted at ICML2019☆22Aug 22, 2019Updated 6 years ago
- MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers☆26Apr 21, 2023Updated 2 years ago
- Code for the 2-simplicial Transformer paper☆21Jan 16, 2020Updated 6 years ago
- Batch Multi-Fidelity Bayesian Optimization with Deep Auto-Regressive Networks☆12Nov 3, 2021Updated 4 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- aicreator for aidata☆14May 17, 2023Updated 2 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
- SAT solvers from Knuth's The Art of Computer Programming, Vol. 4B☆10Jan 5, 2026Updated 3 months 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
- CVRPController is used to run and calculate score for the 12th DIMACS Implementation Challenge: CVRP track.☆27Jan 13, 2022Updated 4 years ago
- E-Syn: E-Graph Rewriting with Technology-Aware Cost Functions for Logic Synthesis (DAC 2024)☆42Jul 17, 2024Updated last year
- The code of EMNLP 2019 paper "A Split-and-Recombine Approach for Follow-up Query Analysis"☆18Jul 20, 2023Updated 2 years ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- A large-scale place image dataset with multi-faceted annotations. Multi-level place recognition.☆10Jul 15, 2020Updated 5 years ago
- ☆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
- Proof recording for Lean 3☆27Sep 30, 2021Updated 4 years ago
- A quick realization of the quantum circuit of a matrix product state.☆11Aug 23, 2023Updated 2 years ago
- A framework for Bayesian optimization of composite functions.☆15Dec 8, 2022Updated 3 years ago