Skip to content

Commit

Permalink
update clasp
Browse files Browse the repository at this point in the history
  • Loading branch information
@rkaminsk
rkaminsk committed Nov 19, 2019
1 parent f22f4bc commit 4db3c47
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion clasp
Submodule clasp updated 7 files
+1 −0 clasp/solver.h
+4 −1 src/clause.cpp
+1 −1 src/clingo.cpp
+2 −3 src/logic_program.cpp
+6 −0 src/solver.cpp
+13 −0 tests/clause_creator_test.cpp
+29 −0 tests/facade_test.cpp

0 comments on commit 4db3c47

Please sign in to comment.