README- ::lenClause::len
- ::newClause::new
- ::unitClause::unit
- ::clause_countCnf::clause_count
- ::is_satisfiedCnf::is_satisfied
- ::newCnf::new
- ::statsCnf::stats
- ::to_dimacsCnf::to_dimacs
- ::add_clauseCnfBuilder::add_clause
- ::and_gateCnfBuilder::and_gate
- ::at_least_oneCnfBuilder::at_least_one
- ::at_most_k_sequentialCnfBuilder::at_most_k_sequential
- ::at_most_one_pairwiseCnfBuilder::at_most_one_pairwise
- ::cnfCnfBuilder::cnf
- ::equivalentCnfBuilder::equivalent
- ::exactly_oneCnfBuilder::exactly_one
- ::impliesCnfBuilder::implies
- ::newCnfBuilder::new
- ::new_varCnfBuilder::new_var
- ::or_gateCnfBuilder::or_gate
- ::require_literalCnfBuilder::require_literal
- ::to_jsonCnfStats::to_json
- ::negLit::neg
- ::notLit::not
- ::posLit::pos
- ::to_dimacsLit::to_dimacs
- ::assignment_dimacsSolveResult::assignment_dimacs
- ::to_jsonSolveResult::to_json
- ::value_ofSolveResult::value_of
- TUnitSearch
- ::to_jsonUnsatCoreReport::to_json
- ::newVar::new
- Vencode_n_queens
- Vminimal_unsat_core
- Vparse_dimacs
- Vsolve
- Vsolve_with_assumptions
yf666888/moonsatkit/cmd/bench does not have a README file
Source Files
Install
Download zipBackend-neutral SAT modeling with temporary assumptions and explainable minimal conflict cores for MoonBit.
satcnfdimacsconstraintsolver
Apache-2.0
Updated 4 months ago
42 downloads