Results for arisa

Telegram + Pi Agent modular assistant

A simple react component generator

Rust FFI bindings for libmarisa - a space-efficient trie data structure

Safe Rust wrapper for the marisa-trie C++ library

Pure Rust port of marisa-trie: a static and space-efficient trie data structure

A CDCL based SAT solver (library)

Proof checker for proofs generate by the Varisat SAT solver

A CDCL based SAT solver (command line solver)

DIMCAS CNF parser and writer for the Varisat SAT solver

Basic formula data types used by the Varisat SAT solver

Internal macros for the Varisat SAT solver

Internal proof format for the Varisat SAT solver

LRAT proof generation for the Varisat SAT solver

Utilities for varisat, adding at-most one and exactly-one constraints