]> Repositorios git - scryer-prolog.git/commit
remove entailed constraint
authorMarkus Triska <[email protected]>
Thu, 6 Aug 2020 21:17:08 +0000 (23:17 +0200)
committerMarkus Triska <[email protected]>
Thu, 6 Aug 2020 21:17:08 +0000 (23:17 +0200)
commit674483a4c6efa3f72604df539bc3e1d74eb6b5ec
treea3ecc6d9f8e43e889134ef05afd7a76805a5b91a
parenta16f84560dd9fd138dc13e298d0494ee26944f4d
remove entailed constraint
src/lib/crypto.pl