Skip to content

Commit

Permalink
Add additional Cadical patches for IPASIR-UP usage
Browse files Browse the repository at this point in the history
  • Loading branch information
@Dekker1
Dekker1 committed Jul 23, 2024
1 parent c30c0a6 commit b1ea046
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion crates/pindakaas-cadical/vendor/cadical
Submodule cadical updated 3 files
+5 −1 src/external_propagate.cpp
+1 −1 src/internal.cpp
+1 −0 src/internal.hpp

0 comments on commit b1ea046

Please sign in to comment.