https://github.com/arademaker/hemera
Yet another simple theorem prover
https://github.com/arademaker/hemera
Last synced: about 1 year ago
JSON representation
Yet another simple theorem prover
- Host: GitHub
- URL: https://github.com/arademaker/hemera
- Owner: arademaker
- Created: 2009-07-21T13:20:51.000Z (almost 17 years ago)
- Default Branch: master
- Last Pushed: 2020-03-11T14:49:18.000Z (over 6 years ago)
- Last Synced: 2025-03-23T20:51:15.030Z (over 1 year ago)
- Language: Python
- Homepage: http://www.tecmf.inf.puc-rio.br
- Size: 5.09 MB
- Stars: 6
- Watchers: 3
- Forks: 1
- Open Issues: 0
-
Metadata Files:
- Readme: README.org
Awesome Lists containing this project
README
* Install
Hemera depends on the following libraries:
* ply 2.3 (or superior)
* pygraphviz (or superior)
Ply: this library is easy to install, the library can be founded in
lib subdirectory.
Pygraphviz: in the past, it was a little bit more complicated!! But it
seems that from now on we just need to run:
easy_install pygraphviz
* PyGraphviz: old installation procedure
In the past, for Mac OS system we have followed the procedure discribed in:
http://groups.google.com/group/pygraphviz-discuss/browse_thread/thread/f3b385409bb66420?pli=1
The pygraphviz library in lib directory was downloaded from
http://networkx.lanl.gov/download/pygraphviz/
And the graphviz package from:
http://graphviz.org/pub/graphviz/development/macos/leopard/
Finnaly, we edited the setup.py from the pygraphviz adding the correct
location of libraries (in the beggining of the file):
# Mac OS X (pkg from ATT)
library_path='/usr/local/lib'
include_path='/usr/local/include/graphviz'
* Pending
1. The initial sequent should be listed before cleaning the goals.
2. Improve the parser to consider cases like "a --> a --> a".
* Making the distro
python setup.py sdist