mios v1.5.0 Release Notes

Release Date: 2017-10-23 // about 4 years ago
    • implement LBD
    • misc micro tuning
    • ➕ add some utilities
    • switch to SAT Competition 2017 main track for benchmark