Narazaki, Shuji

OK. I added `View::offset_coords_to_in_view_for_search` that calculates offsets for two `scrolloff`s, based on `offset_coords_to_in_view`. And all of `search_impl` and 3 jump commands were revised to use another new method `View::place_cursor_in_view`, which...

@archseer Oh, sorry. I've just rebased and squashed. Please check this again.

@the-mikedavis My bad. The else block of the last if statement was revised to use `scrolloff`.

``` $ sat-bench splr # 0.14.1, timeout:2000 on demorgan @ 2022-10-02T08:15:08 # ~/.cargo/bin/splr (0.17.0-alpha) @ 2022-10-02T01:44:40 solver, num, target, time "splr", 1, "UF250(100)", 61.124 "splr", 2, "UUF250(100)", 170.963 "splr", 3,...

``` # 0.14.2, timeout:2000 on demorgan @ 2022-11-07T08:25:14 # ~/.cargo/bin/splr (0.17.0-alpha.7) @ 2022-11-07T08:25:03 solver, num, target, time "splr", 1, "UF250(100)", 59.389 "splr", 2, "UUF250(100)", 179.736 "splr", 3, "3SAT/360 S722433227-030", 4.735...

Activate 'reward_annealing' ``` # 0.14.2, timeout:2000 on demorgan @ 2022-11-14T10:57:33 # ~/.cargo/bin/splr (0.17.0-alpha.7) @ 2022-11-13T11:53:38 solver, num, target, time "splr", 1, "UF250(100)", 53.045 "splr", 2, "UUF250(100)", 172.710 "splr", 3, "3SAT/360...

The latest version uses parameters used for exponential functions They need cafeful tuning. After it, 0.17 may become reasonable. After crafting them by hand, 0.17 will be almost best. Shift...

``` # 0.16.0, timeout:2000 on demorgan @ 2023-01-29T21:05:58 # ~/.cargo/bin/splr (0.17.0-RC) @ 2023-01-29T15:27:36 solver, num, target, time "splr", 1, "UF250(100)", 65.894 "splr", 2, "UUF250(100)", 228.855 "splr", 3, "3SAT/360 S722433227-030", 22.458...

I'm using nixpkgs#zellij on Darwin. The cache dir is $HOME/Library/Caches/org.Zellij-Contributors.Zellij. By removing it, the compact layout works again. Thanks!

1ede6e2 ``` # 0.14.2, timeout:2000 on demorgan @ 2022-11-06T03:28:04 # ~/.cargo/bin/splr (0.17.0-alpha.7) @ 2022-11-06T00:22:51 solver, num, target, time "splr", 1, "UF250(100)", 61.729 "splr", 2, "UUF250(100)", 168.748 "splr", 3, "3SAT/360 S722433227-030",...