Files

conjure_core

ast

atom.rs comprehension.rs declaration.rs domains.rs expressions.rs literals.rs matrix.rs mod.rs model.rs name.rs pretty.rs serde.rs submodel.rs symbol_table.rs types.rs variables.rs

parse

example_models.rs mod.rs parse_model.rs

representations

matrix_to_atom.rs mod.rs

rule_engine

mod.rs resolve_rules.rs rewrite_naive.rs rewriter_common.rs rule.rs rule_set.rs submodel_zipper.rs

rules

matrix

bubble.rs matrix_to_list.rs mod.rs repr_matrix.rs

normalisers

associative_commutative.rs bool.rs eq_neq.rs lt_gt.rs mod.rs neg_minus.rs product.rs sum.rs weighted_sums.rs

base.rs bubble.rs cnf.rs constant_eval.rs expand_comprehension.rs minion.rs mod.rs partial_eval.rs select_representation.rs subsitute_lettings.rs utils.rs

solver

adaptors

minion

adaptor.rs mod.rs parse_model.rs

rustsat

adaptor.rs convs.rs mod.rs

mod.rs model_modifier.rs private.rs states.rs

stats

mod.rs rewriter_stats.rs solver_stats.rs

bug.rs context.rs error.rs lib.rs metadata.rs representation.rs

conjure_macros

conjure_oxide

unstable

utils

conjure.rs json.rs misc.rs mod.rs testing.rs

defaults.rs find_conjure.rs lib.rs

enum_compatability_macro

minion_rs

ast.rs error.rs ffi.rs lib.rs run.rs scoped_ptr.rs wrappers.rs

conjure_core/solver/adaptors/rustsat/
mod.rs

Settings

Help

1mod adaptor;
2mod convs;
3
4pub use adaptor::SAT;