Explore projects
-
-
joram / joram
GNU Lesser General Public License v2.1 onlyA scalable multi-protocol broker.
Topics: JMS AMQP MQT...Updated -
SAT4J / sat4j
Eclipse Public License 1.0Boolean satisfaction and optimization engines to solve SAT, Pseudo-Boolean and MAXSAT problems.
Updated