Modelling of multi-agent-system as Kripke structure and implementation of its knowledge-base with modal logic formulas.
☆67Oct 14, 2017Updated 8 years ago
Alternatives and similar repositories for mlsolver
Users that are interested in mlsolver are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Hintikka's World is a pedagogical tool for learning modal logic, more precisely epistemic modal logic.☆13Oct 26, 2025Updated 10 months ago
- The Art of Propagator Magic in Typescript☆16May 7, 2026Updated 3 months ago
- Distributed constraint satisfaction with recursive message-passing agents☆16Dec 11, 2017Updated 8 years ago
- The best calendar table you'll ever find! Generate a calendar table with many columns of date dimensions and metadata. Output to datafra…☆12Mar 27, 2026Updated 5 months ago
- ☆11Apr 14, 2023Updated 3 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- SAT-based miner of smallest size decision sets☆13Jan 22, 2021Updated 5 years ago
- ☆11Jun 26, 2023Updated 3 years ago
- The Graphical Knowledge Representation (GKR) parser: it transforms a given sentence into a layered semantic graph☆13May 16, 2022Updated 4 years ago
- ☆11Oct 18, 2021Updated 4 years ago
- Manipulate NNF (Negation Normal Form) logical sentences☆20Dec 13, 2022Updated 3 years ago
- Script that displays the weather. Designed to showcase a sane project structure for a beginner☆11Apr 13, 2026Updated 4 months ago
- Implementation of the Metropolis algorithm in the Rust programming language☆21May 12, 2019Updated 7 years ago
- MiniCard: An efficient cardinality solver based on MiniSAT☆21Jun 22, 2025Updated last year
- Python for students in humanities, NRU HSE, 2018-2019☆18Mar 7, 2023Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- rustupolis - Tuple Space for Rust.☆11Jun 23, 2026Updated 2 months ago
- ☆10Feb 3, 2023Updated 3 years ago
- modal logic library for LEAN theorem prover☆13Aug 20, 2017Updated 9 years ago
- Lollimon, a monadic concurrent linear logic programming language☆28Oct 14, 2011Updated 14 years ago
- A Python API for the MiniSat and MiniCard constraint solvers.☆24Jun 17, 2026Updated 2 months ago
- Formalize "Logic Notes" by Lou van den Dries in Lean☆12May 31, 2025Updated last year
- Example on how to integrate Haskell and C++ library.☆13Apr 18, 2015Updated 11 years ago
- A Javascript library to display and interact with Petri Nets.☆15Nov 16, 2017Updated 8 years ago
- INSECA is a set of tools to build and manage very secure live Linux based endpoint systems.☆23Nov 8, 2024Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆12May 5, 2021Updated 5 years ago
- XReason - formal reasoning about explanations for ML models☆18May 16, 2025Updated last year
- ☆11Feb 25, 2020Updated 6 years ago
- Global domain mind map tool build on top of IPFS and IPLD☆14Nov 15, 2018Updated 7 years ago
- Spring Microservices: Secure Service-to-Service Communication☆11Apr 21, 2021Updated 5 years ago
- program synthesis with neuro-symbolic differentiable interpreters☆17Sep 17, 2025Updated 11 months ago
- A go implementation of the TOSCA Standard from OASIS (YAML version)☆10Mar 6, 2018Updated 8 years ago
- Libhydrogen bindings for Rust.☆18Dec 9, 2024Updated last year
- A monolithic index that supports worst-case optimal joins (WCOJ) by providing all collation orders in a single redundancy eliminating dat…☆18Updated this week
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆10Feb 27, 2024Updated 2 years ago
- Hakyll wrapper for the Elm (http://elm-lang.org) compiler☆15Sep 2, 2014Updated 12 years ago
- Dialog system based on IMDB☆16Sep 30, 2020Updated 5 years ago
- A small virtual machine with focus on educating others about virtual machines☆31Apr 27, 2015Updated 11 years ago
- Logics is a Python framework for mathematical logic☆28May 8, 2025Updated last year
- Repository containing materials for Esther Seyffarth's presentation at code.talks 2019: "20 Terrible Ways to Reverse a String"☆14Oct 25, 2019Updated 6 years ago
- plagiarism detector☆24Apr 12, 2021Updated 5 years ago