phyloref / jphyloref

MIT License
0 stars 0 forks source link

Removed FaCT++ JNI as a built-in reasoner #78

Closed gaurav closed 3 years ago

gaurav commented 3 years ago

FaCT++ JNI is a native port of the FaCT++ reasoner to Java, and is one of the built-in reasoners supported by JPhyloRef. As of Maven 3.8.1, external repositories must use HTTPS. This is a problem since the only repository on which FaCT++ is available, the Berkeley BOP repository, is currently HTTP only.

It would be worth finding a workaround for if we needed to use FaCT++ JNI, but since we rely exclusively on Elk now, I think it makes more sense to just remove FaCT++ JNI and the Berkeley BOP repository from JPhyloRef. We will continue to include JFact, a pure Java port of the FaCT++ reasoner, as a built-in reasoner for JPhyloRef.