Jacob Finkelman

use the new winapi 0.3

2

I am porting my apps to the new winapi for better compile times, but I am still compiling the old winapi one for this dependency. Can we get this updated?...

document instillation on windows.

2

Haw dose one install on windows? can we add some info to the readme? if it is not compatible, document that as well.

Use as a Crate? | Adding a Rust API?

7

Thank you! I love any progress in the Rust SAT space. varisat has an api witch I have used extensively for testing libraries I work on. Would you be interested...

Add a way to get all nodes in a radius

7

My main use of this algorithm is in [pandana](https://github.com/UDST/pandana) ware the common need is to for each knode, calculate summary statistics about all the nodes that are within a thresholded.

Look into alternatives to gradient descent

3

Section 3.4 of the paper describes using gradient descent with a 2-point method for computing the gradient vector. This basically involves doing `O(d)` function calls to find the approximate gradient...

Sport for fuzzing rust code

10

Many people in the rust community are excited to see this project! Both because it is in Rust, and because we want to use it on Rust projects. Is there...

support for @media print

2

Thank you for the library, it is working really well. I was wondering if it is possible to specify what happens when my page is printed. I have not fully...

RedBlackTreeSet could have a pop_{first, last} methods

2

I was experimenting with using a `RedBlackTree` as a priority queue and ended up with: ```rust let next_work = queue.first(); if let Some(k) = next_work { queue.remove_mut(k); } ``` It...

I was trying to look up if `new()` allocates on the heap, or if like std it only allocates when the first item is inserted. Then I wanted to know...

Can this be made available as a library?

4

Hi, I am in over my head. But it comes up from time to time that cargo could use a SAT solver to get faster or more reliable results. And...