This repository has been archived by the owner on Sep 26, 2021. It is now read-only.
multistate results from relation::decide()
#80
Labels
Comments
Sign up for free
to subscribe to this conversation on GitHub.
Already have an account?
Sign in.
Prepare for http://trac.sagemath.org/ticket/17700 by moving the Pynac part of Sage's
Expression.__nonzero__()to return additionallyundecidableandnot implemented.The text was updated successfully, but these errors were encountered: