conjure_oxide::solver::adaptors

Module sat_common

Source
Expand description

Common code for SAT adaptors. Primarily, this is CNF related code.

Structs§

CNFModel
A representation of a model in CNF.

Enums§

CNFError

Traits§

HasVariable
Helper trait for checking if a variable is present in the CNF polymorphically (i32 or conjure_ast::Name)