Issues
- 0
I cannot install Yap on OpenSuse
#63 opened - 0
Error in variable
#62 opened - 0
Examples from ProbLog not working
#57 opened - 0
- 2
YAP home page is down
#54 opened - 1
Broken variable parsing and handling
#53 opened - 3
numbervars/3 tests crash yap
#52 opened - 0
numbervars/3 returns wrong count
#51 opened - 0
Unable to use yap
#50 opened - 2
- 2
- 2
- 3
- 2
- 1
- 3
Text garbage in the middle of file
#43 opened - 2
- 2
- 1
- 1
char_code/2 bug
#39 opened - 1
xref_source/1 error
#38 opened - 0
- 1
numbervars/3 broken
#36 opened - 0
- 0
- 0
- 0
- 0
- 0
Error when building on MacOS sierra
#30 opened - 1
- 0
- 0
- 0
[Question] YAP on CLI/DotNet
#24 opened - 0
cudd_config.h not correct in Fedora 23
#22 opened - 0
Build failing on Ubuntu 16.04
#21 opened - 0
C API Defining Rules
#20 opened - 0
- 0
Bug in assoc:map_assoc/3
#17 opened - 1
library(error) missing
#16 opened - 17
Reader hang on Ubuntu 14.0.4
#15 opened - 1
- 1
Autoconf builds
#10 opened - 8
- 1
- 1
- 0
PDT call graph creation aborts
#5 opened - 1
- 1
- 0
- 0
Recursive Mutexes
#1 opened