Simplify constraints also in graph isomorphism

Julien LepillerFri Apr 10 00:35:37+0200 2020

bbcea7b

Simplify constraints also in graph isomorphism

rdf/rdf.scm

449449 
(define (rdf-isomorphic? g1 g2)
450450 
  "Compare two graphs and return whether they are isomorph."
451451 
  (let* ((constraints (generate-graph-constraints g1 g2))
452-
         (disjunctions (to-disjunctions constraints)))
452+
         (disjunctions (to-disjunctions (simplify-constraints constraints))))
453453 
    (if (list? disjunctions)
454454 
        (let loop ((disjunctions (filter sat? disjunctions)))
455455 
          (match disjunctions