Explore projects
-
-
-
-
ProActive / scheduling
GNU Affero General Public License v3.0Updated -
mercator / mercator
GNU General Public License v3.0 or laterUpdated -
SAT4J / sat4j
Eclipse Public License 1.0Boolean satisfaction and optimization engines to solve SAT, Pseudo-Boolean and MAXSAT problems.
Updated -
-
-
-
-
-
-
-
-
-
lutece / lutece-core
BSD 3-Clause "New" or "Revised" LicenseUpdated -
-