- LaSeR
- A system for finding LSR backdoors. Supports finding an upper bound on the LSR backdoor with a single run of the solver, or an [expensive] approach for finding minimum-sized LSR backdoors.
- [github]
- MapleSat
- The award-winning SAT solver that forms the backbone of Laser.
- [link]