conjure_cp_core/ast/
sat_encoding.rs1use polyquine::Quine;
2use serde::{Deserialize, Serialize};
3use uniplate::Uniplate;
4
5#[derive(Clone, Debug, PartialEq, Eq, Hash, Serialize, Deserialize, Uniplate, Quine)]
6pub enum SATIntEncoding {
7 Log,
8 Order,
9 Direct,
10}