test-evaluate-irl-program

Function summary
evaluate-irl-program-test	expected-number-of-solutions program

evaluate-irl-program-test

expected-number-of-solutions program

[Function]