Topic: clingo Goto Github
Some thing interesting about clingo
Some thing interesting about clingo
clingo,TUP instance parser that generates logic programming code for Clingo
User: a-bak
clingo, :calendar: ASP-Timetable is an AI logic program implemented in a declarative manner using ASP and Clingo (2017)
User: adamouization
clingo,Sudoku solver in ASP
User: andreea-zaharia
clingo,Evaluate JSON Logic rules in Python using ASP with Clingo
User: barreeeiroo
Home Page: https://json-logic-asp.readthedocs.io/
clingo,PURE (Program for Undergraduate Research) Project
User: berkanteber
clingo,Basic stuff about clingo API
User: bramucas
clingo,A REPL for ASP (clingo)
User: damianoazzolini
clingo,An ASM emulator designed to detect conditionally executed malware
User: dr-bonez
clingo,Pretty Printer for Clingo 🐧
User: egnwd
clingo,Answer set program for logistics scheduling. Part of a practical course at University.
User: felixlinker
clingo,A node.js app which implements an ASP encoding that allows to solve every kind of sudoku 9x9.
User: gitmarco19
clingo,Visualization of Nurikabe Puzzle with Clingo and Python
User: hrskrs
clingo,Clingo program to solve the Kakurazu logic puzzle using Answer Set Programming (ASP) (part of Model-Based Artificial Intelligence course)
User: jnispen
clingo,Implementation of classical problems in Computer Science in the Answer Set Solving dialect of Clingo.
User: joshuaguerin
clingo,A Docker image with clingo and Jupyter installed. Write ASP with clingo quickly!
User: kasteph
clingo,A collection of the ongoing research project into the Flatland competition. Check the murphy-dev branch for efforts that are currently being explored.
Organization: krr-up
Home Page: https://flatland.aicrowd.com/intro.html
clingo,An ASP Timetabler Application
User: laurabellekay
clingo,Development of projects for the course "Artificial Intelligence and Laboratory"
User: lauraventrice
clingo,Answer Set Programming demo environment
User: llaisdy
clingo,Clingo-based solution for constraint satisfaction problem with ASP paradigm generating calendar for the University of Turin's "Master in Design and Management of Multimedia for Communication".
User: lorenzofavaro
clingo,Proof of concept approach to Differentiable Answer Set Programming and Differentiable Satisfiability, for sampling and multimodels optimization. For Clingo (https://potassco.org/) + Python
User: matthiasnickles
clingo,An Implementation of the Adaptation Procedure in Misinformation Games, in collaboration with Constantinos Varsos and Giorgos Flouris. ICS FORTH
User: merkouris148
Home Page: https://dl.acm.org/doi/abs/10.1145/3549737.3549781
clingo,A C# bindings of Clingo library
User: nekerafa
clingo,Repositorio del trabajo de fin de grado en la facultad de la coruña
User: nekerafa
clingo,MiniZinc and Answer Set Programming encodings for IcoSoKu and its generalization 3coSoKu
User: nrizzo
Home Page: https://nrizzo.github.io/3coSoKu/
clingo,Reentrant Incremental Argumentation Framework API and solver
User: ooinaruhugh
clingo,Deontic logic solver in ASP with Clingo
User: ovidiomanteiga
Home Page: https://deolingo.azurewebsites.net
clingo,📊 A task-based visualization recommendation app, aiming to be the Grammarly for stories written with charts. Built with draco and vega-lite.
User: peter-gy
Home Page: https://visrecly.vercel.app
clingo,🗝️ Rust bindings to the clingo library
Organization: potassco
clingo,
Organization: potassco
clingo,Scheduling team marathon relays with Answer Set Programming
Organization: raceconditionrunning
clingo,Org-Babel mode to execute Clingo Potassco code within Org-mode
User: samuelortion
clingo,Uses declarative programming language - clingo based on programming method - ASP
User: sjyothul
clingo,Learning game strategies in ASP (clingo) using minimax and inductive logic programming (ILASP) :clubs: :game_die:
User: susuhahnml
clingo,🔴🟢🔵 clingo kernel for Jupyter
User: thesofakillers
Home Page: https://pypi.org/project/iclingo/
clingo,A tour guide personalized as per the user's requirements
User: vaishnavibatni
clingo,Application of Answer Set Programming to the Flatland environment
User: victosvertex
clingo,Benchmark of Golog programs in the warehouse domain for my bachelor thesis
User: webastronaut
clingo,Flood-It solver written for the ASP system telingo.
User: webastronaut
clingo,Python scripts I developed during the writing of my bachelor thesis
User: webastronaut
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.