Modelling of multi-agent-system as Kripke structure and implementation of its knowledge-base with modal logic formulas.
☆66Oct 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:
- Translation from FOL to LTL+Past and LTL, via separation of LTL+Past☆10May 22, 2024Updated last year
- Distributed constraint satisfaction with recursive message-passing agents☆16Dec 11, 2017Updated 8 years ago
- A General Multi-agent Epistemic Planner Based on Higher-order Belief Change☆11Feb 20, 2025Updated last year
- This repository is to develop novel AIs for complex C2 decision making. It consists of parallel branches for GUI and for AI development (…☆31Oct 12, 2022Updated 3 years ago
- Final Year Masters Project: modal logic solver tableaux☆25May 26, 2022Updated 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.
- mETRICS - rEproducible sofTware peRformance analysIs in perfeCt Simplicity☆11May 14, 2025Updated 11 months ago
- The Graphical Knowledge Representation (GKR) parser: it transforms a given sentence into a layered semantic graph☆13May 16, 2022Updated 3 years ago
- Manipulate NNF (Negation Normal Form) logical sentences☆20Dec 13, 2022Updated 3 years ago
- MiniCard: An efficient cardinality solver based on MiniSAT☆20Jun 22, 2025Updated 10 months ago
- ☆20Jan 20, 2026Updated 3 months ago
- client/library/framework for the Scuttlebut.nz (SSB) network☆13Oct 3, 2017Updated 8 years ago
- Tree Proof Generator☆183Apr 23, 2026Updated last week
- Generates random text based on context-free grammars defined in BNF☆40May 27, 2025Updated 11 months ago
- EWoK dataset generation framework☆12May 14, 2024Updated last year
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Example on how to integrate Haskell and C++ library.☆13Apr 18, 2015Updated 11 years ago
- A Python API for the MiniSat and MiniCard constraint solvers.☆23Jan 1, 2026Updated 4 months ago
- hackertyper clone written in choo☆11Jun 26, 2016Updated 9 years ago
- ☆13Jun 19, 2022Updated 3 years ago
- Formalize "Logic Notes" by Lou van den Dries in Lean☆12May 31, 2025Updated 11 months ago
- A symbolic model checker for Dynamic Epistemic Logic.☆53Mar 1, 2026Updated 2 months ago
- XReason - formal reasoning about explanations for ML models☆17May 16, 2025Updated 11 months ago
- program synthesis with neuro-symbolic differentiable interpreters☆17Sep 17, 2025Updated 7 months ago
- Global domain mind map tool build on top of IPFS and IPLD☆14Nov 15, 2018Updated 7 years ago
- 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.
- HomeLabInfo is a modern, self-hosted network discovery and visualization suite designed for homelab enthusiasts.☆84Updated this week
- A go implementation of the TOSCA Standard from OASIS (YAML version)☆10Mar 6, 2018Updated 8 years ago
- The official repository for the paper "Statler: State-Maintaining Language Models for Embodied Reasoning"☆13Jun 10, 2024Updated last year
- Maildir synchronization tool☆19Jun 30, 2021Updated 4 years ago
- ☆14Jun 11, 2025Updated 10 months ago
- REWE delivery CLI☆248Apr 5, 2026Updated 3 weeks ago
- Hakyll wrapper for the Elm (http://elm-lang.org) compiler☆15Sep 2, 2014Updated 11 years ago
- Filter, sanitize, cleanse, and even diff your HTML.☆19Feb 6, 2022Updated 4 years ago
- RDA Metadata Standards Catalog, version 2☆17Apr 1, 2026Updated last month
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- ☆11Jan 15, 2021Updated 5 years ago
- 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
- Trying to verify Verilog/VHDL designs with formal methods and tools☆43Mar 7, 2024Updated 2 years ago
- Gun DB Visualization using Graphin☆16Jan 2, 2020Updated 6 years ago
- A monolithic index that supports worst-case optimal joins (WCOJ) by providing all collation orders in a single redundancy eliminating dat…☆16Sep 18, 2025Updated 7 months ago
- Complex Data Explorer☆11Aug 21, 2025Updated 8 months ago
- Varv: Reprogrammable Interactive Software as a Declarative Data Structure☆13Oct 23, 2024Updated last year