dzn-rs
| Crates.io | dzn-rs |
| lib.rs | dzn-rs |
| version | 0.2.2 |
| created_at | 2024-11-22 20:11:18.957212+00 |
| updated_at | 2025-01-26 19:33:54.568385+00 |
| description | A library for dealing with DZN files used in the MiniZinc language. |
| homepage | |
| repository | https://github.com/maartenflippo/dzn-rs |
| max_upload_size | |
| id | 1457667 |
| size | 38,064 |
Maarten Flippo (maartenflippo)
documentation
https://docs.rs/dzn-rs
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.