Node Networked Functions
(kamasada-complete-vesto) - This function is used to convert multiple words into an interesting sentence containing the word kuroichi12-complete-themselves.
Propositional proof system
An library to extract information from integration files to create deliveries, the files can be *.xml, *.csv, *.xls, *.edi
NFe xml parser
Computation tree logic library for JS
Reduced ordered binary decision diagram library for JS
Negation Normal Form manipulation library
iascar - incremental answer set count with anytime refinement
A Library for Creating, Manipulating, and Solving Boolean Formulas
Automated theorem prover for TPTP problems using superposition calculus
Clausification and preprocessing for first-order logic formulas
Proof verifier for TPTP/TSTP — entry for the ProoVer competition
This crate provides a few representations of SMT scripts and other functionalities.
Pure-Rust core for annflat: small in-memory flat-file ANN over f32 vectors.
A library for Decision-DNNFs.
hello world
A nerdfetch alternative for windows written in Rust.