Explore projects
-
PaaSage / la_based_reasoner
Mozilla Public License 2.0Updated -
Lukas Kaufmann / sat4j
Eclipse Public License 1.0Boolean satisfaction and optimization engines to solve SAT, Pseudo-Boolean and MAXSAT problems.
Updated -
-
-
Jonas Bollgrün / sat4j
Eclipse Public License 1.0Boolean satisfaction and optimization engines to solve SAT, Pseudo-Boolean and MAXSAT problems.
Updated -
Aleksey s-r-grass / Open Sitemap Builder
BSD 3-Clause "New" or "Revised" LicenseИсходный код свободной программы для создания карты сайта. Написана полностью в среде разработки Lazarus.
Официальный сайт: https://xn--90abhbolvbbfgb9aje4m.xn--p1ai/
Updated -
Assad Montasser / sat4j
Eclipse Public License 1.0Boolean satisfaction and optimization engines to solve SAT, Pseudo-Boolean and MAXSAT problems.
Updated -
This project translates a structured developer's documentation into a json document.
Updated -
Decoder / integration-tests
Apache License 2.0Updated -
-
Decoder / at91sam9-watchdog-test
GNU General Public License v2.0 or laterUpdated -
Updated
-
centreon / json11-conan
Apache License 2.0Updated -
centreon / centreon-engine-profiling
Affero General Public License v1.0Updated -
-
Matteo Basso / DiSL
Apache License 2.0DiSL is an AOP-inspired domain-specific language for Java bytecode instrumentation.
Updated -
RocketChat / Rocket.Chat.Flutter.SDK
MIT LicenseUpdated -
centreon / centreon-engine
GNU General Public License v2.0 or laterUpdated -
Updated
-
centreon / centreon-clib
Apache License 2.0Updated