This repository has been archived by the owner on Apr 21, 2018. It is now read-only.

Conditional equations #5

Open

barrucadu opened this issue May 5, 2017 · 0 comments

Labels

Owner

barrucadu commented May 5, 2017

Preconditions should be able to use both the seed value and the free variables.

barrucadu added the enhancement label

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.