probo Activity
Brought to you by:
mthimm
Activity for probo
-
Matthias Thimm committed [r62]
further work on probo2, analysis module
-
further work on probo2
-
added new tweety snapshot library to support d3 problem
-
further work on probo2
-
probo2 run benchmark v1
-
started work on probo2
-
started work on probo2
-
Adapted GroundedGenerator to work with any probo solver
-
minor updates, bugfixing
-
minor updates, bugfixing
-
removed merging issue
-
removed merging issue
-
nilsgeilen committed [r50]
Remove redundant classes
-
Move synaty, parsers etc into tweety
-
TweetySolver 1.2 update
-
updated sample configuration file
-
added new method for killing processes (untested)
-
added generators no. 2+3 for benchmark graphs o...
-
added generator no. 1 for benchmark graphs of I...
-
minor bugfix
-
added configuration option for problems
-
kill lingering clasp processes
-
kill lingering maxsat processes
-
improved cleanup
-
improved cleanup
-
improved cleanup
-
improved cleanup
-
kill lingering clingo processes
-
kill lingering java processes
-
bugfix
-
system output fix
-
bugfix
-
bugfixes
-
bugfixes
-
minor bugfix
-
minor bugfixes, additions
-
update probo notes
-
format fix
-
Updated Tweety libraries; switched to Java 8
-
added "timeout" as configuration parameter
-
probo is now using the time command to measure ...
-
Bugfix for skeptical inference in ground truth ...
-
improved Tweety complete reasoner
-
Further optimized Tweety solver
-
optimized TweetySolver a bit and added a new ve...
-
added reference solver that reads solutions fro...
-
added reference solver that reads solutions fro...
-
removed CNF support from AbstractDungSolver
-
fixed a bug in CNF parser
-
Federico Cerutti committed [r13]
generic interface for solvers added
-
Configuration file capability added using yaml1...
-
added timeout handling; minor fixes
-
add missing semantics
-
new version of supplementary notes
-
added "return some extension" task
-
added some small evaluation tool that aggregate...
-
added parser/writer for the cnf format
-
Updated to Tweety 1.2
-
added some supplementary notes
-
federicocerutti branch
-
added tweetysolver v1.0.6
-
initial import
1
