Crates.io | dzn-rs |
lib.rs | dzn-rs |
version | 0.1.1 |
source | src |
created_at | 2024-11-22 20:11:18.957212 |
updated_at | 2024-11-22 20:51:32.204113 |
description | A library for dealing with DZN files used in the MiniZinc language. |
homepage | |
repository | |
max_upload_size | |
id | 1457667 |
size | 21,978 |
A Rust library for reading DZN files. The documentation can be found on https://docs.rs/dzn-rs.
The goal of the library is to be able to parse all DZN files correctly. Before that there will not be a 1.0 release. However, the library may be useful for many DZN files without being able to parse every DZN file.
To add this library as a dependecy to your project, run
cargo add dzn-rs
I am open to receiving pull requests if you identify bugs or want to add features. If you are motivated to do so, please open an issue first.