Mark Thom 8963936f0c re: conformity test #181

2019-04-07 11:49:21 -06:00

..

l0

fix unification bugs.

2017-01-27 21:54:53 -07:00

l1

add dumb comments

2017-02-03 00:49:16 -07:00

l2

minor tweak

2017-02-28 13:33:28 -07:00

l3

transition to l3

2017-03-04 19:22:43 -07:00

prolog

re: conformity test #181

2019-04-07 11:49:21 -06:00

main.rs

index inlined and builtin clausetypes inside a BTreeMap

2019-03-26 21:59:50 -06:00

tests.rs

correct for issues #88, #89, #90, conformity test #208.

2019-04-06 09:46:42 -06:00