#shape #true #array-2d

dzn-rs

A library for dealing with DZN files used in the MiniZinc language

6 releases

0.2.2 Jan 26, 2025
0.2.1 Jan 26, 2025
0.1.2 Jan 26, 2025
0.1.1 Nov 22, 2024

#779 in Algorithms

Download history 1/week @ 2024-12-11 333/week @ 2025-01-22 91/week @ 2025-01-29 4/week @ 2025-02-05 233/week @ 2025-02-12 618/week @ 2025-02-19 240/week @ 2025-02-26 350/week @ 2025-03-05 488/week @ 2025-03-12 404/week @ 2025-03-19 238/week @ 2025-03-26

1,509 downloads per month

MIT license

22KB
502 lines

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.

Dependencies

~4MB
~82K SLoC