from bauhaus import core, constraint_builder
from bauhaus.constraint_builder import _ConstraintBuilder

def test_build_constraints():
    # assert correct constraints built
    # given constraint builder object and
    # propositions
    pass

def test_getting_inputs():
    # assert correct inputs collected
    # given constraint builder object and
    # propositions
    pass

# SAT constraints

def test_SAT_constraints():
    pass

def test_at_most_k():
    pass

def test_implies_all():
    pass
