]> Repositorios git - scryer-prolog.git/commit
Merge pull request #2105 from triska/morphing_propagators
authorMark Thom <[email protected]>
Fri, 13 Oct 2023 01:10:54 +0000 (19:10 -0600)
committerGitHub <[email protected]>
Fri, 13 Oct 2023 01:10:54 +0000 (19:10 -0600)
commitb348f54c33941456c211e47195ff753e978f7290
tree012dae7f9baa552c73a2e64be805135a3bb54bea
parent1163d14ea1e71442255671776c2522de75b88028
parent721cf20cf7f7b38f545e45f4463b179b362e10e4
Merge pull request #2105 from triska/morphing_propagators

ENHANCED: Omit unnecessary residual constraints in disentailed reified (//)/2