fogus.reinen-vernunft.wip.constraints — me.fogus/reinen-vernunft 0.0.2

A simple constraints solver.

->constraint clj

(->constraint variables formula)

Positional factory function for class fogus.reinen_vernunft.wip.constraints.constraint.

->cpair clj

(->cpair name value)

Positional factory function for class fogus.reinen_vernunft.wip.constraints.cpair.

->variable clj

(->variable name domain)

Positional factory function for class fogus.reinen_vernunft.wip.constraints.variable.

find-sat clj

(find-sat c)

get-all-pairs clj

(get-all-pairs c)

map->constraint clj

(map->constraint m__7972__auto__)

Factory function for class fogus.reinen_vernunft.wip.constraints.constraint, taking a map of keywords to field values.

map->cpair clj

(map->cpair m__7972__auto__)

Factory function for class fogus.reinen_vernunft.wip.constraints.cpair, taking a map of keywords to field values.

map->variable clj

(map->variable m__7972__auto__)

Factory function for class fogus.reinen_vernunft.wip.constraints.variable, taking a map of keywords to field values.

test-pair clj

(test-pair f p)