WASM-based toolkit for encoding pseudo-boolean constraints into CNF for SAT solvers
TypeScript definitions for http-errors
Reusable building blocks for iterative solvers, multi-stage solver pipelines, and React-based solver debugging UIs.
TypeScript definitions for sat
TypeScript definitions for express-serve-static-core
TypeScript definitions for body-parser
The goal of this module is to find the best schematic layout for a set of `SchematicChip`s and `SchematicGroups` containing `SchematicPins` connected to each other with `SchematicTraces`
A node.js package for Steven Levithan's excellent dateFormat() function.
TypeScript definitions for katex
TypeScript definitions for nodemailer
Popover component for Angular
TypeScript definitions for bcrypt
LI.FI SDK for Any-to-Any Cross-Chain-Swap
TypeScript definitions for cli-progress
Implementation of Espresso-II method for heuristic minimization of single output boolean functions
TypeScript definitions for leaflet
Librería para usar el servicio web del SAT de Descarga Masiva
TypeScript definitions for morgan
Library for performing 2D collision detection
TypeScript definitions for compression
A Javascript wrapper with a Z3-ish API for SMT-LIB 2.0, the language of Satisfiability Modulo Theories solvers
TypeScript definitions for papaparse
General satisfiability solver for logic problems
TypeScript definitions for negotiator
Unified interface to multiple SAT solvers (CaDiCaL, MiniSat, Glucose, Lingeling, Kissat) with automatic source compilation
A SAT solver implemented in Rust, focusing on performance, efficiency and experimentation.
Interface to the SAT solver BatSat for the RustSAT library. BatSat is fully implemented in Rust
Almost complete safe and unsafe bindings for the CaDiCal SAT solver. Made using the cxx crate and then wrapped in a safe 1 to 1 API.
A logic SAT solver
Interface to the SAT solver CaDiCaL for the RustSAT library.
Interface to the SAT solver Glucose for the RustSAT library.
IPASIR bindings for RustSAT
Interface to the SAT solver kissat for the RustSAT library.
Interface to the SAT solver Minisat for the RustSAT library.
Boolean satisfiability problem encoding library written in rust.
A modern CDCL SAT solver in Rust
An interface to the SAT solver for Ruby
ruby binding for MiniSat, an open-source SAT solver
This is a small SAT solving tool for either DIMACS file input (max. 20 variables, 80 lines) or boolean expressions in string format i.e. '(x1 * (x3 + x4))'.
No description provided.
No description provided.