-
Notifications
You must be signed in to change notification settings - Fork 0
kuebler/picocaml
Folders and files
Name | Name | Last commit message | Last commit date | |
---|---|---|---|---|
Repository files navigation
Compile: 1. Adjust Makefile 2. Issue 'make' 3. If no errors occur, a OCaml toplevel interactive interpreter picocaml should have been built in the project directory; start it via './picocaml' NOTICE: This code is portable in the sense that it works on my box. If you experience any difficulties, feel free to adjust the code to suit your particular needs.
About
OCaml bindings for picosat
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published