Clingo compiled to WebAssembly
Clingo compiled to WebAssembly
Node.js bindings for Clingo answer set solver
Clingo grammar for tree-sitter
Linux x64 (glibc) native binary for @cyberismo/node-clingo
Windows x64 native binary for @cyberismo/node-clingo
macOS x64 native binary for @cyberismo/node-clingo
macOS arm64 native binary for @cyberismo/node-clingo
Linux x64 (musl) native binary for @cyberismo/node-clingo
Linux arm64 (musl) native binary for @cyberismo/node-clingo
Linux arm64 (glibc) native binary for @cyberismo/node-clingo
Clingo compiled to WebAssembly
A wrapper module for the Clingo program.
Wrapper for clingo
Clingo grammar for tree-sitter
MCP server for interacting with Clingo ASP solver via WebAssembly
CLI tool to handle tasks.
Draco on the web.
Visualization Knowledge as Constraints.
## Using Docker: * Install docker, run `docker build . -t <your username>/evonne`. * Run `docker run -dp 7007:3000 <your username>/evonne:latest` then open `http://localhost:7007`.
Rust idiomatic bindings to the clingo library
Clingo grammar for tree-sitter
Raw FFI bindings to the C API of the clingo library
Derive macro for the clingo crate
A command-line application for assisting in the verification of answer set programs
Rust bindings for Clingo
fasb - faceted answer set browser
iascar - incremental answer set count with anytime refinement
A Rust library implementing the ASPIC+ framework for structured argumentation
miniKanren as 1-bit matrix operations - hardware-accelerated logic programming with SIMD, GPU, and FPGA support. Includes Sudoku solver (14μs), N-Queens, constraint propagation.