LOGic for Data Science

Popular repositories Loading

1. SimulatorOrchestrator SimulatorOrchestratorPublic

   A Presentation and Session Layer simulator for Osmotic Architectures (IoT Battery information)

   Java 2

2. yaucl yauclPublic

   Yet Another Useless C++ Library

   C++ 1 1

3. datagram-db datagram-dbPublic

   C++ 1 2

4. integer_set integer_setPublic

   C++

5. knobab knobabPublic

   Fast LTLf Log-SAT Solver with Data Payload!

   C++

6. LaSSI LaSSIPublic

   LaSSI: Logical, Structural, and Semantic text Interpretation

   Python 1