Looking at the eye reasoning cases from a standard prolog perspective
git clone https://github.com/eyereasoner/euler
cd euler/cases
./test
The first argument of test is either tpl (default) or scryer-prolog.
-
Notifications
You must be signed in to change notification settings - Fork 0
Looking at the eye reasoning cases from a standard prolog perspective
License
eyereasoner/euler
About
Looking at the eye reasoning cases from a standard prolog perspective
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published