A SAT Solver based on CDCL (Conflict Driven Clause Learning) implemented in python
☆24Jan 1, 2021Updated 5 years ago
Alternatives and similar repositories for CDCL-SAT
Users that are interested in CDCL-SAT are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆15Feb 4, 2020Updated 6 years ago
- ☆10Aug 18, 2025Updated last year
- 🔮Reasoning for Safer Code Generation; 🥇Winner Solution of Amazon Nova AI Challenge 2025☆40Aug 24, 2025Updated last year
- Management of Benchmark Instances and Instance Attributes☆22Aug 20, 2026Updated 2 weeks ago
- Iterate on LLM-based structured generation forward and backward☆24Mar 20, 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.
- ☆37Apr 8, 2023Updated 3 years ago
- ☆15Jan 2, 2022Updated 4 years ago
- A certifier for bias in LLMs☆25Apr 11, 2025Updated last year
- This repository contains the replication package of our paper "Assessing the Security of GitHub Copilot’s Generated Code - A Targeted Rep…☆10Nov 16, 2023Updated 2 years ago
- Repository for source code of RUBHUS☆12Dec 17, 2023Updated 2 years ago
- Temporal GNN Lightweight Framework☆31Apr 2, 2024Updated 2 years ago
- Awesome machine learning for logic synthesis☆30Sep 21, 2022Updated 3 years ago
- Website for LINGUALYTICS package powered by pytorch☆17Nov 12, 2020Updated 5 years ago
- Loop invariant generation with LLMs☆35Mar 6, 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.
- ☆19Nov 4, 2024Updated last year
- Implementation of language model papers along with several examples [NOT ALL WRITTEN FROM SCRATCH].☆12Oct 2, 2024Updated last year
- Implementation of Improving Knowledge Tracing with Collaborative Information☆18Dec 25, 2021Updated 4 years ago
- An advanced circuit-based sat solver☆39Feb 24, 2025Updated last year
- Beautiful static documentation for your API☆33May 28, 2024Updated 2 years ago
- Experimental translation of llvm to smt.☆60Apr 8, 2020Updated 6 years ago
- ☆30Mar 11, 2025Updated last year
- Helps procedurally generate tailored 3D shape datasets☆17Aug 5, 2025Updated last year
- E-Syn: E-Graph Rewriting with Technology-Aware Cost Functions for Logic Synthesis (DAC 2024)☆45Jul 17, 2024Updated 2 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.
- G2SAT: Learning to Generate SAT Formulas☆50Jun 25, 2020Updated 6 years ago
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆63Jan 26, 2024Updated 2 years ago
- e☆43Apr 23, 2025Updated last year
- Official Code for paper "Towards Efficient and Effective Unlearning of Large Language Models for Recommendation" (Frontiers of Computer S…☆37Jul 19, 2024Updated 2 years ago
- Official code for the paper "PERL: Pivot-based Domain Adaptation for Pre-trained Deep Contextualized Embedding Models".☆15Dec 8, 2022Updated 3 years ago
- Official Code for Efficient and Effective Augmentation Strategy for Adversarial Training (NeurIPS-2022)☆16Mar 29, 2023Updated 3 years ago
- Is In-Context Learning Sufficient for Instruction Following in LLMs? [ICLR 2025]☆34Jan 23, 2025Updated last year
- a Minimal, clean code for the Byte Pair Encoding (BPE) algorithm commonly used in LLM tokenization in pure C.☆24Jul 6, 2024Updated 2 years ago
- JAX/Flax implimentation of 'Attention Is All You Need' by Vaswani et al. (https://arxiv.org/abs/1706.03762)☆15Aug 16, 2021Updated 5 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.
- Notes from my presentation on Python packaging at PyGotham 2021☆21Jul 29, 2022Updated 4 years ago
- Humaniod Robot with abilities of foveated vision and object recognition☆14Aug 26, 2023Updated 3 years ago
- Automated Headline generation and Aspect Based Sentiment Analysis☆15Feb 16, 2023Updated 3 years ago
- Using GNN and DQN to find a baetter branching heuristic for a CDCL Solver☆54Oct 20, 2020Updated 5 years ago
- Direct Preference Optimization Implementation☆17Feb 1, 2024Updated 2 years ago
- [ICLR 2025] Unintentional Unalignment: Likelihood Displacement in Direct Preference Optimization☆32Jan 7, 2026Updated 8 months ago
- Mininet based k8s Network Simulator☆30Sep 17, 2025Updated 11 months ago