Pinned

1. ddo ddo Public

   DDO a generic and efficient framework for MDD-based optimization.

   Rust 54 4

2. rsolve rsolve Public

   A sat solver in rust

   Rust 9 1

3. tsptw tsptw Public

   ddo-based solver for the travelling salesman problem with time window

   Roff 2 1

4. maxicp-rs maxicp-rs Public

   A fast lean and clean modern constraint programming solver implementation (in rust)

   Rust 6

5. peak_alloc peak_alloc Public

   An allocator to keep track of (the max) allocated memory

   Rust 18 3