Repositories list

• logicng-core

  Public
  LogicNG 3 Core

  Java

  •

  Apache License 2.0

  •0•0•0•0•Updated Dec 2, 2024Dec 2, 2024

• boolerules

  Public
  An Open-Source Rule Engine

  Kotlin

  •

  Other

  •0•1•0•0•Updated Nov 11, 2024Nov 11, 2024

• logicng-csp

  Public
  LogicNG CSP extension

  Java

  •

  Apache License 2.0

  •0•0•0•0•Updated Oct 10, 2024Oct 10, 2024

• logicng-rs

  Public
  LogicNG for Rust

  Rust

  •

  Apache License 2.0

  •0•9•0•0•Updated Oct 8, 2024Oct 8, 2024

• logicng-go

  Public
  LogicNG for Go

  Go

  •

  MIT License

  •0•6•0•0•Updated Sep 27, 2024Sep 27, 2024

• kjobs

  Public
  A Job Framework for Asynchronous Webservices in Kotlin and Ktor

  Kotlin

  •

  MIT License

  •0•3•0•0•Updated Sep 18, 2024Sep 18, 2024

• logicng-service

  Public
  LogicNG as a Service

  Go

  •

  MIT License

  •0•0•0•0•Updated Aug 4, 2024Aug 4, 2024

• boolerules-parent-pom

  Public archive
  Parent POM for all BooleRules projects

  MIT License

  •0•0•0•0•Updated Jun 23, 2024Jun 23, 2024

• prl-intellij-plugin

  Public archive
  IntelliJ Plugin for the PRL

  Kotlin

  •0•0•0•0•Updated Jun 23, 2024Jun 23, 2024

• boolerules-protobufs

  Public archive
  ProtoBuf definitions for BooleRules data structures

  MIT License

  •0•0•0•0•Updated Jun 23, 2024Jun 23, 2024

• prl-testfiles

  Public archive
  Test Files for the PRL

  MIT License

  •0•0•0•0•Updated Jun 23, 2024Jun 23, 2024

• prl-compiler

  Public archive
  PRL (Pragmatic Rule Language) compiler

  Kotlin

  •

  Other

  •0•0•1•0•Updated Jun 23, 2024Jun 23, 2024

• boolerules-showcase

  Public archive
  The BooleRules Showcase Web GUI

  Vue

  •

  MIT License

  •0•0•0•0•Updated Jun 23, 2024Jun 23, 2024

• logicng-serialization

  Public
  Serialization Library for LogicNG

  Java

  •

  Apache License 2.0

  •0•0•0•0•Updated May 22, 2024May 22, 2024

• sat-sudoku

  Public
  A minimal Sudoku solver using LogicNG for Rust

  Rust

  •0•1•0•0•Updated Jan 9, 2024Jan 9, 2024

• logicng-sharp-sat

  Public
  The #SAT solver sharpSAT

  C++

  •

  MIT License

  •24•0•0•0•Updated Jan 2, 2024Jan 2, 2024

• logicng-open-wbo

  Public
  Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver

  C++

  •

  Other

  •13•0•0•0•Updated Sep 15, 2023Sep 15, 2023

• kjobs-examples

  Public
  Examples for the KJobs Framework

  Kotlin

  •

  MIT License

  •0•0•0•0•Updated Jul 10, 2023Jul 10, 2023

• .github

  Public
  GitHub Content

  0•0•0•0•Updated Jun 2, 2022Jun 2, 2022

• package-solving-poc

  Public
  A minimal proof-of-concept implementation of a package solver with LogicNG

  Kotlin

  •

  MIT License

  •0•0•0•0•Updated May 30, 2022May 30, 2022