issues
search
ewan-klein
/
carneades
http://ewan-klein.github.io/carneades/
Apache License 2.0
7
stars
11
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Added support for DICE and workaround for pycairo if not able to produce
#10
goweiting
opened
7 years ago
0
edits on README.me for setup on virtualenv
#9
goweiting
closed
7 years ago
4
Tested on ubuntu16.04
#8
goweiting
closed
8 years ago
1
Problems with meets_proof_standard in the CAES class of caes.py
#7
mezig351
opened
8 years ago
3
Wrap text in readme for viewing in editors
#6
edran
closed
10 years ago
2
Ignore graph.dot
#5
edran
closed
10 years ago
1
Fix path of file to change
#4
edran
closed
10 years ago
0
Add pycairo installation instructions for Linux
#3
edran
closed
10 years ago
2
Add some installation documentation
#2
edran
closed
10 years ago
0
Installation issues - Add documentation for operative systems
#1
edran
closed
8 years ago
2