Repository containing the code for the project "Using deep learning to construct Stochastic Local Search SAT solvers with performance bounds"
☆17Apr 16, 2026Updated 3 weeks ago
Alternatives and similar repositories for sls_sat_solving_with_deep_learning
Users that are interested in sls_sat_solving_with_deep_learning are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Standalone implementation of Conformal Prediction and other distribution-free Machine Learning methods.☆15Aug 23, 2019Updated 6 years ago
- Convert an integer factorization problem into a boolean SATISFIABILITY problem.☆10Jan 14, 2019Updated 7 years ago
- ☆18Aug 25, 2021Updated 4 years ago
- ☆13Dec 31, 2024Updated last year
- ☆15Oct 5, 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.
- Incremental games and tools for them.☆10Jan 15, 2024Updated 2 years ago
- A simple template to set up basic Vim, Tmux, Zsh for the Deep Learning AMI Amazon Linux 2 for data scientists.☆20Jun 10, 2021Updated 4 years ago
- Power Law Random k-SAT Generator☆16Nov 21, 2021Updated 4 years ago
- The POSP is a one-stop shop for all open-source activities of Porsche AG and subsidiaries, featuring selected projects and providing docu…☆24Apr 28, 2026Updated last week
- A Plague Tale DPC Tool for edit game.☆12Oct 21, 2022Updated 3 years ago
- Resources from my journey into Windows binary exploitation☆24Jan 14, 2019Updated 7 years ago
- We are planning to create an open-source vinyl cutter/plotter. Matrix chat room: https://matrix.to/#/!MwdoqdFeJDUPgWIzKZ:matrix.org?via=m…☆11Apr 24, 2021Updated 5 years ago
- Porting of (JavaScript version of) corewars8086 from codeguru xtreme to RISC-V cpu☆15Mar 25, 2019Updated 7 years ago
- warnsdorff's algorithm to solve the knight's tour problem.☆10Oct 27, 2019Updated 6 years 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.
- This guide helps you create an automated Earth Observation pipeline on AWS.☆23Oct 24, 2024Updated last year
- ☆23Jun 26, 2023Updated 2 years ago
- Rackmount Redundant 12V Power Supply☆11Oct 21, 2023Updated 2 years ago
- Mixins for haxe☆19Nov 3, 2020Updated 5 years ago
- The Deep Funding scoring mechanism☆40Feb 2, 2025Updated last year
- A compilation of tools and resources for maintaining, repairing and upgrading the Apple G5 PowerPC platform.☆30Jul 17, 2024Updated last year
- NeuroCore: Guiding CDCL with Unsat-Core Predictions☆47Feb 17, 2020Updated 6 years ago
- Repo for IAED1819☆22May 27, 2019Updated 6 years ago
- Quantum Theory of Information for Python; pronounced "cutie pie". A package for performing calculations with quantum states and channels.☆29Aug 17, 2025Updated 8 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 Jekyll version of the "Massively" theme by HTML5 UP.☆16Dec 24, 2022Updated 3 years ago
- [TMLR 2024] G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks☆40May 14, 2024Updated last year
- Barebones Minecraft server in Rust☆21Oct 7, 2014Updated 11 years ago
- Submission template for TT02☆25Feb 2, 2023Updated 3 years ago
- CGen is a tool for encoding SHA-1 and SHA-256 hash functions into CNF in DIMACS format, also into ANF polynominal system in PolyBoRi outp…☆26Jun 3, 2023Updated 2 years ago
- [3DV 2021] Channel-Wise Attention-Based Network for Self-Supervised Monocular Depth Estimation☆45Jan 6, 2022Updated 4 years ago
- Inter-Blockchain Communication☆12Nov 16, 2023Updated 2 years ago
- Using GNN and DQN to find a baetter branching heuristic for a CDCL Solver☆54Oct 20, 2020Updated 5 years ago
- wiiu gamepad input in wii homebrew with patched wii vc firmware☆17Oct 28, 2017Updated 8 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.
- G2SAT: Learning to Generate SAT Formulas☆49Jun 25, 2020Updated 5 years ago
- An automatic theorem prover for first order logic with equality☆34Mar 5, 2026Updated 2 months ago
- Small Java class for calculating the distance between two points.☆63Jul 11, 2013Updated 12 years ago
- Streamlining Flutter UI Development with DSL-Based Code Generation☆23Jan 11, 2024Updated 2 years ago
- Sample solution that demonstrates how to deploy and analyze spaceborne data using Azure Synapse Analytics☆30Dec 12, 2022Updated 3 years ago
- ☆10May 18, 2024Updated last year
- Robot communication and coordination network.☆70Jan 6, 2026Updated 4 months ago