bramucas Goto Github PK

asparser

Little flex/bison parser that encodes clingo (or asprin) output into JSON format.

beefiest-rules

Extracts rule based explanations from any machine learning model.

clingo_python_basics

Basic stuff about clingo API

cover-set-problem

Answer Set Programming implementation of the cover-set-problem.

crystal-tree

From decision trees to explainable logic programs

dafact

Small python library for encoding different data sources as Answer Set Programing facts.

docker-clingo

Docker image for the Potassco clingo Answer Set Programming solver

fallout_terminal_solver

Simple tool written in python for solving terminal puzzles in fallout games. Solve it manually or use text recognition (OCR) tools.

fight_parser

Proyecto de ejemplo que muestra cómo usar flex y bison para parsear la entrada de un controlador de xbox 360 en tiempo real.

gamenewsbot

A discord bot to keep you updated on your favorite games.

lppf

overleafv2-git-integration-unofficial

Easily track your Overleaf2 changes using git. One simple command to rule them all!

pollfic

prolog_tester

Python package for testing prolog predicates.

shilver

An outstandingly fast Shingoki solver.

xclingo

Explains the conclusions of a logic program.

xclingo2

A tool for explainability and debugging in Answer Set Programming.