Aluriak / webclingo-exampleLinks
Example of clingo usage on website as a client-side JS program
☆13Updated 5 years ago
Alternatives and similar repositories for webclingo-example
Users that are interested in webclingo-example are comparing it to the libraries listed below
Sorting:
- Visual Studio Code syntax highlighting for Answer Set Programming☆14Updated 5 months ago
- ☆22Updated 7 months ago
- 🕸️ A visualizer for graphs defined as logic programs☆30Updated 8 months ago
- A general framework for embedding Logic Programming in complex systems☆31Updated last year
- 🗃️ A Python ORM-like interface for the Clingo Answer Set Programming (ASP) reasoner☆57Updated 11 months ago
- Clingo on the web☆40Updated 3 weeks ago
- Theory propagator for linear programming using clingo theory language and interface.☆11Updated 3 years ago
- 💊 Qualitative and quantitative optimization in answer set programming☆20Updated last year
- 🦮 An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.☆79Updated last year
- A lazy-grounding Answer-Set Programming system☆60Updated 4 months ago
- 🐧 Clingo Interactive UI☆26Updated this week
- Handy python wrapper around Potassco's Clingo ASP solver.☆34Updated 2 years ago
- Declarative unit testing for Answer Set Programming projects☆12Updated 7 years ago
- KIELER Lightweight Diagams☆36Updated last week
- ⚙️ A conflict-driven nogood learning answer set solver☆125Updated this week
- The new intelligent grounder of the logic-based Artificial Intelligence system DLV☆23Updated last year
- DSLs for modeling and analyzing farming systems☆11Updated 8 years ago
- A projectional editor for JSON DSLs☆25Updated last year
- ☆11Updated 7 years ago
- Typir is an open source library for type checking in the web☆34Updated 3 weeks ago
- Parses RDF from any serialization☆62Updated last week
- ACE View is a natural language based ontology and rule editor. ACE View uses Attempto Controlled English (ACE) in the front-end, and Web …☆9Updated 6 years ago
- Type checking and logical inference for JetBrains MPS☆33Updated 2 months ago
- ⛓️ Extension of clingo to handle constraints over integers☆27Updated last week
- A VS Code extension supporting for Picat language☆16Updated 6 years ago
- A multi-cursor structural editor prototype for TypeScript☆60Updated 2 years ago
- 🕰️ A solver for temporal programs.☆22Updated last year
- The Stardog Whisperer: TypeScript/JS parsers for Stardog languages☆16Updated 2 months ago
- Conjure: The Automated Constraint Modelling Tool☆105Updated 3 weeks ago
- A language for data modeling and incremental computing of derived values☆11Updated last year