21 ms·
I think you can do this with Virgil, but I'm having trouble finding the exact doc page at the moment: https://github.com/titzer/virgil https://github.com/titzer
by sestep 8mo ago
I think you can do this with Virgil, but I'm having trouble finding the exact doc page at the moment: https://github.com/titzer/virgil https://github.com/titzer/virgil
- titzer 8mo agoThe description is in the paper, but not all of it is implemented. https://arxiv.org/abs/2410.11094 https://arxiv.org/abs/2410.11094 Bradley implemented a prototype of the packing solver, but it doesn't do the full generality of what is proposed in the paper.