54 skills found · Page 1 of 2
i-am-tom / HolmesA reference library for constraint-solving with propagators and CDCL.
kevinlin311tw / CDCL Human Part SegmentationRepository for Paper: Cross-Domain Complementary Learning Using Pose for Multi-Person Part Segmentation (TCSVT20)
prefix-dev / ResolvoFast package resolver written in Rust (CDCL based SAT solving)
jhawthorn / Pub Grub🍔 A ruby implementation of the PubGrub CDCL-based version solver
shnarazk / SplrA modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust
togatoga / TogasatA Header-Only CDCL SAT Solver for Programming Contest
NVIDIA / GraphQSatUsing GNN and DQN to find a baetter branching heuristic for a CDCL Solver
dselsam / Neurocore PublicNeuroCore: Guiding CDCL with Unsat-Core Predictions
zzw-szu / CDCLNo description available
togatoga / ScrewsatA simple CDCL(Conflict-Driven-Clause-Learning) SAT solver in Rust.
shaowei-cai-group / EasySATA Simple CDCL Solver
c-cube / SidekickA modular library for CDCL(T) SMT solvers, with [wip] proof generation.
sgomber / CDCL SATA SAT Solver based on CDCL (Conflict Driven Clause Learning) implemented in python
Kapilhk / SatPieSAT solver based on CDCL in Python with Conflict Driven Clause Learning, clever Heuristics - VSIDS, 2 - Literal watch advanced data structure, Random restarts with restart probability decay
sukrutrao / SAT Solver CDCLA simple SAT solver based on the CDCL algorithm
z11i / PysatSimple SAT solver with CDCL implemented in Python
wanglixilinx / CDCLCross-Dataset Collaborative Learning for Semantic Segmentation in Autonomous Driving
Armael / CdclNo description available
nyuichi / Yabai Satsat solver; backtrack + BCP + non-chronological backtracking + (linear-time) CDCL + 2WL + eVSIDS + luby restarts + phase saving + trail reuse + (full) conflict clause minimization + in-process simplification + literal block distance
NickLee2050 / HustProgramDesignProgram Design affiliated to General Course Design of CSE College, HUST, for students enrolled in 2018.
