dzn-rs
| 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 |
Maarten Flippo (maartenflippo)
documentation
README
DZN-RS
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-Do
- Primitive Values
- Boolean
- Integer
- Float
- Sets
- Boolean
- Integer
- Float
- Arrays (1d, 2d)
- Boolean
- Integer
- Float
- Set
Installation
To add this library as a dependecy to your project, run
cargo add dzn-rs
Contributing
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.