pyndakaas 0.4.0

Python bindings for the pindakaas crate
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

import pindakaas.solver

from .encoding import CNF, WCNF, ClauseDatabase, Constraint
from .pindakaas import Encoder, Formula, InvalidEncoder, Lit, Unsatisfiable

__doc__ = pindakaas.__doc__
__all__ = [
    "Constraint",
    "ClauseDatabase",
    "CNF",
    "Encoder",
    "Formula",
    "Lit",
    "WCNF",
    "Unsatisfiable",
    "InvalidEncoder",
]