pdenno/minizinc-notebooks

Stars
1
Language
Jupyter Notebook
Created about 6 years ago
Updated about 6 years ago

pdenno/minizinc-notebooks

pdenno

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

Example Jupyter notebooks that use Minizinc

shop2-zmq

ZeroMQ Server for UMd SHOP2 planner, runs under sbcl.

spntools

Stochastic Petri net tools

tools-15926

Tools for validation of some parts of ISO 15926

jupyter-client

A library to run execute_request and receive stdout from a Jupyter kernel

docker-mzn-notebooks

Dockerfiles for MiniZinc Jupyter Notebooks

explainlib

A Clojure library for Bayesian Abductive Logic Programming (BALP) identifying the most probable explanation (MPE)

RADmapperExerciser

A web-based tool to experiment with the RADmapper language

pn-draw

quil-based drawing and manipulation of Petri nets

interop-mapping

LaTeX for OAGi Interoperable Mapping paper

utils4pmap

A pmap-like function where calls to the argument function can timeout

zotero-tools

An example to explore Clojurescript, shadow-cljs, and zotero simultaneously.

xmi-tools

Tools for parsing and validating XML Metadata Interchange (XMI) models

resize-component

Experiment using react/reagent/hx for resizing children with react hooks

minizinc-parser

A Clojure/ClojureScript library to parse MiniZinc to either ASTs populating a metamodel or Clojure code.

owl-db-tools

A Clojure library for reading OWL ontologies into a Datahike database

cogacts

Software for modeling cognitive 'actions'

sinet

System identification by means of genetic programming of Petri nets

docker-jupyterlab

Docker repository for jupyterlab 2.0.1. FROM dclong/jupyter-nodejs. A work in progress.

sudoku

jupyter-plotly

Dockerfile for plotly extensions of dclong jupyter

schema-db

Clojure library to manage XML-based messaging schema in Datahike

xmi-validator

Validator for models and profiles specified in OMG XML Metadata Interchange (XMI)

schedulingTBD

Exploratory code for human/AI teaming in MiniZinc model formulation

chui

RADmapper

Reference implementation of an "interoperable" data transformation language and web-based tool for exploring the language.