kisp/graph-as-mzn-input

Stars
1
Language
Common Lisp
Created over 9 years ago
Updated almost 7 years ago

kisp/graph-as-mzn-input

kisp

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Solve constraints based on an input graph using MiniZinc.

asgl

abstract argumentation solver

sbcl-wrap

Wrapper around sbcl for fast script execution with (on demand compiled and cached) libraries.

musicxml-pwgl

musicxml export for pwgl

toadstool

Toadstool is a library for pattern matching

ksquant2

Score quantization for PWGL - successor of ksquant

ksquant

Score quantization for PWGL

ompw

OMPW provides an abstraction layer for writing Lisp libraries that can be used in "pure" Common Lisp, but also in the OM or PWGL environments.

omchreode

omchreode library of Jean-Baptiste Barrière

dockerized-rails-app-tutorial

ompw-utils

OMPW-UTILS provides some utility functions that can be used in "pure" Common Lisp, but also in the OpenMusic or PWGL environments. It depends on OMPW, which makes the definition of functions ("boxes") for multiple environments possible.

docker-skribilo

Dockerfile for Skribilo.

argsem-soundness

Given an Abstract Argumentation Framework and an Extension, check its soundness wrt different semantics.

react-create-vite-extended-template-generator

Template generator for "Start a new React + Vite + JS/TS app with ease"

simple-csp-solver

A simple CSP solver that uses backtracking on arbitrary lisp predicates.

cl-game-of-life-kata

Game of life kata written during code retreat @2016-10-22