Movatterモバイル変換


[0]ホーム

URL:


Skip to content

Navigation Menu

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Sign up
#

cdcl

Here are 30 public repositories matching this topic...

splr

A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust

  • UpdatedFeb 21, 2025
  • Rust

SAT 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

  • UpdatedSep 16, 2020
  • Jupyter Notebook

A SAT Solver based on CDCL (Conflict Driven Clause Learning) implemented in python

  • UpdatedJan 1, 2021
  • Jupyter Notebook

Program Design affiliated to General Course Design of CSE College, HUST, for students enrolled in 2018.

  • UpdatedApr 9, 2021
  • C

SAT solvers from Knuth's The Art of Computer Programming, Vol. 4B

  • UpdatedMar 8, 2025
  • C++

[wip] Modular SMT solver in rust

  • UpdatedNov 13, 2020
  • SMT

A small SAT solver implementation. 2020年度の情報科学特別演習にて書いたプログラム

  • UpdatedNov 3, 2021
  • D

CDCL SAT Solver from Scratch in Python

  • UpdatedJan 28, 2025
  • Python

SAT and SMT solving.

  • UpdatedMay 28, 2019

`cron` & dashboard in cloud land

  • UpdatedSep 22, 2024
  • HTML

SAT Solver

  • UpdatedJun 26, 2021
  • Rust

SAT Competition 2013 Source Archives

  • UpdatedApr 14, 2019

A BDD library written in Rust to support a CDCL Sat Solver like Glucose, while running in parallel.

  • UpdatedMay 29, 2023
  • C++

An ocaml implementation of the CDCL algorithm.

  • UpdatedMar 23, 2020
  • OCaml

OCaml bindings for batsmt

  • UpdatedMar 21, 2019
  • Rust

Lightweight but fast SAT solver with input sorting and CDCL

  • UpdatedMar 28, 2018
  • C++

CDCL SAT Solver implementation for babies

  • UpdatedMay 31, 2020
  • Jupyter Notebook

Simple CDCL SAT solver

  • UpdatedMay 14, 2020
  • C

Super efficient SAT solver in 500 lines of code

  • UpdatedJun 3, 2020
  • Jupyter Notebook

Improve this page

Add a description, image, and links to thecdcl topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with thecdcl topic, visit your repo's landing page and select "manage topics."

Learn more


[8]ページ先頭

©2009-2025 Movatter.jp