Explore projects
-
-
-
Updated
-
Assad Montasser / sat4j
Eclipse Public License 1.0Boolean satisfaction and optimization engines to solve SAT, Pseudo-Boolean and MAXSAT problems.
Updated -
-
-
-
Toreador / toreador-lab-gui
Apache License 2.0Updated -
Toreador / metadata annotation service
Apache License 2.0Updated -
Prelude / prewikka
BSD 2-Clause "Simplified" LicenseUpdated -
weblab / portlets / weblab-metaview
GNU Lesser General Public License v2.1 onlyThis project contains a Maven based Java project of a Liferay portlet in charge of displaying the metadata of documents.
Updated -
weblab / portlets / document-viewer
GNU Lesser General Public License v2.1 onlyThis project holds both the portlet document viewer, to be deployed in the WebLab Liferay Portal and the structured-document-renderer, a library used inside this portlet
Updated -
-
GLPI / php-library-glpi
GNU General Public License v3.0 onlyUpdated -
Lukas Kaufmann / sat4j
Eclipse Public License 1.0Boolean satisfaction and optimization engines to solve SAT, Pseudo-Boolean and MAXSAT problems.
Updated -
-
-