Lib.rs

› Keywords #dimacs #sat-solver #logic #sat #parser #satisfiability

#cnf

  1. cnfgen

    Generate DIMACS CNF formula from operations

    v0.6.2 1.3K #cnf #logic #sat

  2. cnfgen2

    Generate DIMACS CNF formula from operations (second version)

    v0.1.1 #cnf #cnfgen #logic #sat

  3. cnf

    Distribution-agnostic 'command not found'-handler

    v0.5.2 600 #command-not-found #not-found #command

  4. sat-solvers

    Unified interface to multiple SAT solvers (CaDiCaL, MiniSat, Glucose, Lingeling, Kissat) with automatic source compilation

    v0.1.1 #sat-solver #dimacs #satisfiability #cnf

  5. logic-form

    representing Cube, Clause, CNF and DNF

    v0.4.0 1.3K #logic #cnf #clause

  6. simple_predicates

    local configuration management utility

    v0.4.2 #serialization #predicate #expression #variables #vec #cnf #dnf #deserialize

  7. boolean-circuit

    import, modify and export boolean circuits

    v2.2.0 220 #circuit #cnf #dimacs #aiger #gate

  8. cnf-lib

    Distribution-agnostic 'command not found'-handler

    v0.5.2 350 #command-not-found #cnf #command

  9. ddnnife_cnf

    DIMACS CNF implementation

    v0.1.0 #cnf #ddnnife #dimacs #d-dnnf #reasoner #python-bindings #cardinality

  10. nnf

    Negation Normal Form manipulation library

    v0.1.0 #negation #forms #expression-tree #normal #cnf #graphviz

  11. flussab-cnf

    DIMACS CNF file format parser and writer

    v0.3.1 #parser #writer #cnf #dimacs-cnf

  12. exec-sat

    Executes SAT solver and parses SAT solver output

    v0.1.2 200 #sat-solver #cnf #logic

  13. veripb-parser

    VeriPB parsing library for OPB, WCNF, and DIMACS CNF formats

    v0.1.1 #parser #format #veri-pb #cnf #dimacs #opb #data-structures #cargo-run

  14. cnf-parser

    Efficient and customizable CNF parser for SAT solving

    v0.1.1 #satisfiability #cnf #parser

  15. saguaro

    CDCL SAT solver

    v0.1.0 #sat-solver #cdcl #cnf #benchmark #testing

  16. cnfpack

    Converts between the text based DIMACS CNF file format and the compressed binary Cnfpack format

    v0.1.1 #cnf #dimacs #compression #sat

    17. Try searching with DuckDuckGo.

  17. first_order_logic

    first-order logic

    v0.1.0 #first-order #grammar #forms #logical #predicate #assertions #conjunctive #cnf #syntactic #asserting

  18. varisat-dimacs

    DIMCAS CNF parser and writer for the Varisat SAT solver

    v0.2.2 44K #sat-solver #parser #writer #cnf #varisat #dimacs #parser-and-writer

  19. rusty_grammar

    A modified CYK algorithm to work for Language

    v0.1.2 #nlp #cnf #cyk

  20. cnfgen-nand-opt

    Generate CNF for circuits

    v0.1.1 #cnf #cnfgen #sat

  21. bool2cnf

    transfer boolean expression to dimacs directly

    v0.1.9 #dimacs #expression #transfer #cnf #parser

  22. autosat

    Automatic conversion of functions to CNF for SAT solving

    v0.1.0 #cnf #convert #solve #automatic #sat

  23. dotecnf

    loader for ".ecnf" file such as ".env". ".ecnf" is key-value setting file with key's hierarchy.

    v0.1.1 #cnf #config #setting

  24. satire

    An educational SAT solver written in Rust

    v0.0.1 #sat-solver #cnf #educational #cdcl #check #forms #test-cases