pdenno/minizinc-parser pdenno/minizinc-parser

  • Stars
    star
    1
  • Language
    Clojure
  • License
    Eclipse Public Li...
  • Created over 6 years ago
  • Updated 7 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
pdenno/minizinc-parser
github

pdenno

Reviews

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

Repository Details

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

More Repositories

1

shop2-zmq

ZeroMQ Server for UMd SHOP2 planner, runs under sbcl.
Common Lisp
2
star
2

spntools

Stochastic Petri net tools
Clojure
1
star
3

tools-15926

Tools for validation of some parts of ISO 15926
Common Lisp
1
star
4

jupyter-client

A library to run execute_request and receive stdout from a Jupyter kernel
Clojure
1
star
5

docker-mzn-notebooks

Dockerfiles for MiniZinc Jupyter Notebooks
Shell
1
star
6

explainlib

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

RADmapperExerciser

A web-based tool to experiment with the RADmapper language
Clojure
1
star
8

pn-draw

quil-based drawing and manipulation of Petri nets
Clojure
1
star
9

interop-mapping

LaTeX for OAGi Interoperable Mapping paper
TeX
1
star
10

minizinc-notebooks

Example Jupyter notebooks that use Minizinc
Jupyter Notebook
1
star
11

utils4pmap

A pmap-like function where calls to the argument function can timeout
Clojure
1
star
12

zotero-tools

An example to explore Clojurescript, shadow-cljs, and zotero simultaneously.
Clojure
1
star
13

xmi-tools

Tools for parsing and validating XML Metadata Interchange (XMI) models
Clojure
1
star
14

resize-component

Experiment using react/reagent/hx for resizing children with react hooks
Clojure
1
star
15

owl-db-tools

A Clojure library for reading OWL ontologies into a Datahike database
Clojure
1
star
16

cogacts

Software for modeling cognitive 'actions'
Clojure
1
star
17

sinet

System identification by means of genetic programming of Petri nets
Clojure
1
star
18

docker-jupyterlab

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

sudoku

Owen's Sudoku
Clojure
1
star
20

jupyter-plotly

Dockerfile for plotly extensions of dclong jupyter
Shell
1
star
21

schema-db

Clojure library to manage XML-based messaging schema in Datahike
Clojure
1
star
22

xmi-validator

Validator for models and profiles specified in OMG XML Metadata Interchange (XMI)
Common Lisp
1
star
23

schedulingTBD

Exploratory code for human/AI teaming in MiniZinc model formulation
Clojure
1
star
24

chui

A Chess UI
Clojure
1
star
25

RADmapper

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