Dev 0.18.0 cont 20250511 [The active working branch]

[shnarazk]

Objective

Drop old modifications using mutual global objects.
Instead implement

• LRAT
• reimplement and enable chronological backtracking

That's it.

target line

# 0.16.1, timeout:2000 on localhost @ 2024-08-15T16:27:32
# ~/.cargo/bin/splr-0.17.3 (0.18.0-dev0) @ 2024-04-27T01:23:06
solver,       num,                       target,     time
"splr-0.17.3",  1,                 "UF250(100)",   33.543
"splr-0.17.3",  2,                "UUF250(100)",  126.195
"splr-0.17.3",  3,   "3SAT/360  S722433227-030",   13.189
"splr-0.17.3",  4,   "3SAT/360 S2032263657-035",    6.483
"splr-0.17.3",  5,   "3SAT/360  S368632549-051",    8.475
"splr-0.17.3",  6,   "3SAT/360 S1684547485-073",    0.600
"splr-0.17.3",  7,   "3SAT/360 S1711406314-093",   11.929
"splr-0.17.3",  8,   "3UNS/360 S1369720750-015",   67.939
"splr-0.17.3",  9,   "3UNS/360  S367138237-029",  172.283
"splr-0.17.3", 10,   "3UNS/360  S680239195-053",   94.397
"splr-0.17.3", 11,   "3UNS/360  S253750560-086",   69.033
"splr-0.17.3", 12,   "3UNS/360 S1028159446-096",   86.342
"splr-0.17.3", 13,   "[SAT] SR2015/m283,  3553",   24.382
"splr-0.17.3", 14,   "[SAT] SR2015/38b,    448",    6.913
"splr-0.17.3", 15,   "[SAT] SR2015/44b,    609",   10.248
"splr-0.17.3", 16,   "[SAT] SC21/b04_s_unknown",   38.712
"splr-0.17.3", 17,   "[SAT] SC21/quad_r21_m22 ",    6.976
"splr-0.17.3", 18,   "[SAT] SC21/toughsat_895s",   72.302
"splr-0.17.3", 19,   "[UNS] SC21/assoc_mult_e3",   75.138
"splr-0.17.3", 20,   "[UNS] SC21/dist4.c      ",  134.452
"splr-0.17.3", 21,   "[UNS] SC21/p01_lb_05    ",   36.283
"splr-0.17.3", 22,   "[UNS] SC21/shift1add    ",   92.997
med:    37.498, max:   172.283,           total: 1188.811

---

[Copilot]

Pull Request Overview

This PR updates the way the configuration file argument is retrieved from the command line by replacing std::env::args().last() with std::env::args().next_back().

• Replaces the call to last() with next_back() to get the final command-line argument.