optional constraints. It can be used for logic programming. WWW: https://github.com/dkubb/axiom-types PR: ports/188002 Submitted by: Michael Moll <kvedulv at kvedulv.de> |
||
---|---|---|
.. | ||
distinfo | ||
Makefile | ||
pkg-descr |
optional constraints. It can be used for logic programming. WWW: https://github.com/dkubb/axiom-types PR: ports/188002 Submitted by: Michael Moll <kvedulv at kvedulv.de> |
||
---|---|---|
.. | ||
distinfo | ||
Makefile | ||
pkg-descr |