Explore projects

Boolean satisfaction and optimization engines to solve SAT, Pseudo-Boolean and MAXSAT problems.

A scalable multi-protocol broker.

A scalable multi-protocol broker.

Boolean satisfaction and optimization engines to solve SAT, Pseudo-Boolean and MAXSAT problems.

Исходный код свободной программы для создания карты сайта. Написана полностью в среде разработки Lazarus.

Официальный сайт: https://xn--90abhbolvbbfgb9aje4m.xn--p1ai/

Boolean satisfaction and optimization engines to solve SAT, Pseudo-Boolean and MAXSAT problems.

This project translates a structured developer's documentation into a json document.

The Melodic upperware.

origin: https://github.com/centreon/json11-conan.git

origin: https://github.com/centreon/centreon-engine-profiling.git

GUI for the DECODER suite

DiSL is an AOP-inspired domain-specific language for Java bytecode instrumentation.

origin: https://github.com/centreon/centreon-cdash.git skip: true

A scalable multi-protocol broker.

origin: https://github.com/RocketChat/Rocket.Chat.Flutter.SDK.git

origin: https://github.com/centreon/centreon-engine.git