Richard Evans Profile Topics Started Replies Created Engagements Favourites Search replies: Forum Replies Created Viewing 2 posts - 1 through 2 (of 2 total) Author Posts November 28, 2014 at 9:28 am in reply to: Command-line options to speed up clingo? #137 Richard EvansParticipant Aha thanks Graham – I will try this.. November 27, 2014 at 5:37 pm in reply to: Version news and issues #134 Richard EvansParticipant Have you moved over to clingo 4, then? I am still on clingo 3, because I have heard that clingo 4 does not yet have proper documentation etc. What is your feeling about clingo 4? Is it ready to use? Author Posts Viewing 2 posts - 1 through 2 (of 2 total)
