-
Notifications
You must be signed in to change notification settings - Fork 0
A prover for coherent logic
License
daghovland/clp
Folders and files
Name | Name | Last commit message | Last commit date | |
---|---|---|---|---|
Repository files navigation
General information A prover for coherent logic Executable: clp Takes a theory in geolog-format or CL.pl-format from standard input or files ---------------------------------------------------------------------------------- Information about compiling and installing Requires recent versions of bison and flex. I use bison 2.4.3 and flex 2.5.4. It does e.g. not work with bison 1 If you are building from github repository (not from tarball) remember to first run: autoreconf --install Note also that the macro AM_MAINTAINER_MODE has been added to configure.ac. If you need to regenerate some of the autotools-generated stuff, you must give configure the option "--enable-maintainer-mode". See INSTALL for the rest of installation and building procedures. (I would recommend to add "CFLAGS=-O4" for normal non-debugging usage.)
About
A prover for coherent logic
Topics
Resources
License
Stars
Watchers
Forks
Packages 0
No packages published