Results for "qbf-solver"

Claude Code Claude Desktop GitHub Copilot Cursor Windsurf Cline Zed JetBrains

📄SKILL.md 🤖CLAUDE.md ⚡Claude Commands 📐.cursorrules 📐Cursor Rules 🕹️AGENTS.md 🧬codex.md 🏄.windsurfrules 🔧.clinerules 🧑‍✈️Copilot Instructions

All Development Operations Data Product Marketing Customer Design Sales

12 skills found

touist / Touist

TouIST, the IDE & Language for Logic (backed by SAT, SMT and QBF solvers)

universal

dimacseducationminisat+9

Updated 1mo ago

lonsing / Depqbf

DepQBF, a solver for quantified boolean formulae (QBF).

universal

Updated 1mo ago

MarkusRabe / Cadet

A fast and certifying solver for quantified Boolean formulas.

universal

boolean-functionboolean-logicboolean-satisfiability+3

Updated 8mo ago

maximaximal / Paracooba

Distributed and ressource elastic cube-and-conquer SAT & QBF solver

universal

cubesdistributed-computingnetwork+4

Updated 8mo ago

fslivovsky / Qute

Qute: a dependency learning QBF solver.

universal

qbfqbf-solver

Updated 5d ago

c-cube / Ocaml Qbf

OCaml bindings to QBF solver(s)

universal

Updated 2y ago

ltentrup / Quabs

QuAbS is a circuit-based QBF solver

universal

Updated 11mo ago

MikolasJanota / Qfun

non-CNF qbf solver

universal

Updated 12d ago

ltentrup / Booleanium

An experimental QBF solver

universal

Updated 11mo ago

MikolasJanota / Cqesto

A circuit-based qbf solver.

universal

Updated 3mo ago

gcharwat / Dynqbf

An expansion-based QBF solver for instances of low-to-medium treewidth

universal

Updated 1y ago

maximaximal / QuAPI

Library and tool to add assumption-support to generic SAT or QBF solver binaries using automated fork()ing and LD_PRELOAD

universal

apiinterfacelinux+5

Updated 5mo ago