We're updating the issue view to help you get more done. 

nominal is missing a few constraints-related tweaks

Description

These tests fail. We get only the first result.

1 2 3 4 5 6 7 8 9 10 11 12 (is (= (run* [q] (fresh [x] (nom/fresh [a] (infd x (interval 1 3)) (== q (nom/tie a x))))) [(nom/tie 'a_0 1) (nom/tie 'a_0 2) (nom/tie 'a_0 3)])) (is (= (run* [q] (nom/fresh [a b c] (fresh [x] (infd x (interval 1 3)) (== (nom/tie b (nom/tie a x)) (nom/tie c q))))) [(nom/tie 'a_0 1) (nom/tie 'a_0 2) (nom/tie 'a_0 3)]))

Environment

None

Status

Assignee

David Nolen

Reporter

Nada Amin

Labels

None

Approval

None

Patch

None

Priority

Major