ltentrup

caqe

CAQE is a solver for quantified Boolean formulas

quabs

QuAbS is a circuit-based QBF solver

MiniSat

Swift Bindings for MiniSat

booleanium

An experimental QBF solver

SafetySynth

A symbolic safety game solver written in Swift

QAIGER

AIGER format for Quantified Boolean Formulas

libsolve

A collection of data structures and SAT solver interfaces for writing solvers

SATSolver

A SAT Solver Interface for the Swift Programming Language

bosy

cryptominisat-rs

telo

a-mir-formality

a model of MIR and the Rust type/trait system

Aiger

A lightweight, swifty (and incomplete) wrapper around the AIGER library

bosy-aiger

A repository hosting AIGER dependencies for BoSy

CAiger

CCUDD

coin_cbc

Rust bindings to the CoinOR CBC MILP Solveur using the C API.

CryptoMiniSat

Swift Bindings for MiniSat

CUDD

dblp-cli

A command line tool for fetching bibtex entries from dblp.org

foundations

Cloudflare's Rust service foundations library.

LTL

A simple LTL parser written in Swift

PicoSAT

Swift Bindings for PicoSAT

rust-analyzer

An experimental Rust compiler front-end for IDEs