Explore projects
-
Boolean satisfaction and optimization engines to solve SAT, Pseudo-Boolean and MAXSAT problems.
Updated -
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
-
-
Updated
-
This 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 -
This project contains a Maven based Java project of a Liferay portlet in charge of displaying the metadata of documents.
Updated -
-
Updated
-
-
A Liferay theme to be used in the Liferay used by the WebLab Bundle
Updated