Configuration loader
A package containing types for CNF Backend (and frontend?)
a barcode generator
generate qrcode,support svg base64 utf8
Helper to build serverelss.yml
WASM-based toolkit for encoding pseudo-boolean constraints into CNF for SAT solvers
Functions for filtering SQL-like json with conjunctive normal form filters
ILAL Protocol CLI — compliant swaps and credential management for Uniswap v4
React configuration form
convert boolean-json to conjunctive normal form
Lightweight package for managing Electron settings and configuration data
Implementation of Espresso-II method for heuristic minimization of single output boolean functions
Propositional Satisfiability Checker
AAuth server-side building blocks: challenge headers, interaction management, resource tokens
Node.JS OpenSSL wrapper
SD-JWT implementation in typescript
Command line tools for calvin-network-data and calvin-network-app. Includes prm tool for export PRI and DSS files
No description provided.
domain.js logger 通用模块
domain.js schema 通用模块
mTLS (RFC 8705) sender-constrained access token support for @o3co/auth-provider
Pre-processed FAA NASR fix/waypoint snapshot for use with @squawk/fixes
domain.js rest 通用模块
参数解析
Distribution-agnostic 'command not found'-handler
Distribution-agnostic 'command not found'-handler
Efficient and customizable CNF parser for SAT solving.
DIMACS CNF file format parser and writer
A SAT solver implemented in Rust, focusing on performance, efficiency and experimentation.
Clausification and preprocessing for first-order logic formulas
Generate DIMACS CNF formula from operations
Generate DIMACS CNF formula from operations (second version)
DIMACS CNF implementation
Mutable AIGs designed for equivalence checking.
A modern CDCL SAT solver in Rust
Unified interface to multiple SAT solvers (CaDiCaL, MiniSat, Glucose, Lingeling, Kissat) with automatic source compilation
Fetches stack configuration
A mysql config file parser base on INI parser
The truthtable library generates a truth table from a logical formula written in Ruby. The truth table can be converted to a logical formula. DNF, CNF and Quine-McCluskey supported.
Easily implemented configuration
Base controller, model, resource and policy classes; authentication with JWT, per request tenant selection, exception reporting
Authenticate and connect to remote services via REST
Processes CSV files, notifies other services when new files are available
Facilities to manage Users, Groups and Roles permission to Platform Resources
3rd party communication services can be invoked by other services per tenant
: Description of Ros::Cognito.
Description of Organization.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.