removing executable permissions of header files
speed up e-cycle detection during program preprocessing (significantly)
add a command-line option
fix a bug
update TestPlugin
update benchmark scripts
Merge branch 'master' of https://github.com/hexhex/core
update benchmark script
update benchmark script
add installation hints for OS X
update README
update doc
update doc
recover accidentally deleted files
add logo
update dlvhex-common
update job file generation
update job generation file
update setminus benchmark
prepare dlvhex core for repair model generator