zelen 0.0.0

Selen integration with MiniZinc
1
2
3
4
5
6
7
8
9
10
11

# Zelen - Selen integration with MiniZinc

[![Crates.io](https://img.shields.io/crates/v/zelen.svg?color=blue)](https://crates.io/crates/zelen)
[![Documentation](https://docs.rs/selen/badge.svg)](https://docs.rs/zelen)
[![License: MIT](https://img.shields.io/badge/License-MIT-blue.svg)](https://opensource.org/licenses/MIT)

This crate aims to integrate the Selen Solver with the FlatZinc format from MiniZinc.

## Status

In implementation.