(in-package :cl-user)

(prove:plan 3)

(let ((deps (abcl-asdf:resolve-multiple-maven-dependencies
             '("net.sourceforge.owlapi:org.semanticweb.hermit:1.3.8.413"
               "net.sourceforge.owlapi:owlapi-distribution:4.2.6"
               "net.sourceforge.owlapi/pellet-cli-ignazio1977/2.4.0-ignazio1977"
               "org.semanticweb.elk/elk-reasoner/0.4.3"
               "net.sourceforge.owlapi/owlexplanation/2.0.0")
             '("net.sourceforge.owlapi:owlapi-distribution:4.2.6")
             '("net.sourceforge.owlapi:owlapi-osgidistribution"
               "edu.stanford.protege:org.protege.editor.owl"))))
  (prove:is (length deps) 87)
  (prove:ok (not (find "owlapi-osgidistribution" deps :test 'search)))
  (prove:ok (not (find "protege" deps :test 'search))))

(prove:finalize)