Here is an experimental Linux version of Jesolver. It's tested on Debian-based Linux distributions (Ubuntu, Mint) but might work on others too. How to run: sudo apt-get install libtbb2 (Debian, Ubuntu, Mint) sudo dnf install tbb (Fedora) sudo yum install tbb (CentOS) tar xvf jesolver_free_XXXX.tar.gz cd jesolver_free_XXXX ./jesolver_free Example usage: show_memory load_script test.txt ai6_get_actual_compression go 200 steps (wait until it's done or type 'stop') show_node r:0 show_children r:0 show_probs r:0 show_strategy_pp r:0 exit
Name Last modified Size Description
Parent Directory - jesolver_free_linux_..> 2023-11-29 05:47 4.3M jesolver_free_linux_..> 2022-03-17 10:32 4.1M jesolver_free_linux_..> 2022-01-30 01:50 4.1M jesolver_free_linux_..> 2022-01-28 10:11 4.1M jesolver_free_linux_..> 2022-01-06 14:51 4.1M jesolver_free_linux_..> 2021-12-28 10:41 4.1M jesolver_free_linux_..> 2021-12-23 12:34 4.1M jesolver_free_linux_..> 2021-08-31 10:16 4.1M jesolver_free_linux_..> 2021-08-12 06:17 1.7M jesolver_free_linux_..> 2021-07-29 09:15 1.7M jesolver_free_linux_..> 2021-07-28 05:12 1.7M jesolver_free_linux_..> 2021-07-16 05:03 1.7M jesolver_free_linux_..> 2021-07-15 04:42 1.7M jesolver_free_linux_..> 2021-07-08 01:51 1.7M jesolver_free_linux_..> 2021-02-04 06:39 1.7M jesolver_free_linux_..> 2020-12-15 10:07 1.7M jesolver_free_linux_..> 2020-11-21 05:07 1.7M jesolver_free_linux_..> 2020-11-19 08:31 1.7M jesolver_free_linux_..> 2020-10-17 06:18 1.2M jesolver_free_linux_..> 2020-10-16 04:28 2.3M jesolver_free_linux_..> 2020-10-08 02:57 2.3M jesolver_free_linux_..> 2020-10-05 06:03 2.3M jesolver_free_linux_..> 2020-10-03 10:50 2.3M jesolver_free_linux_..> 2020-09-21 05:42 2.2M jesolver_free_linux_..> 2020-09-14 04:08 2.2M jesolver_free_linux_..> 2020-04-22 00:22 2.2M jesolver_free_linux_..> 2020-04-20 04:02 2.2M jesolver_free_linux_..> 2020-04-16 18:35 2.2M jesolver_free_linux_..> 2020-04-09 09:19 2.1M jesolver_free_linux_..> 2020-03-29 18:47 2.1M jesolver_free_linux_..> 2020-03-29 05:51 2.1M jesolver_free_linux_..> 2020-03-27 10:07 2.1M jesolver_free_linux_..> 2020-03-26 05:53 2.1M jesolver_free_linux_..> 2020-02-23 11:05 2.1M jesolver_free_linux_..> 2020-02-22 07:54 2.1M jesolver_free_linux_..> 2020-02-20 00:31 2.0M jesolver_free_linux_..> 2020-02-19 03:28 2.0M jesolver_free_linux_..> 2020-02-17 08:13 2.0M jesolver_free_linux_..> 2020-02-11 07:40 2.0M jesolver_free_linux_..> 2020-02-11 04:33 2.0M jesolver_free_linux_..> 2020-02-09 09:19 2.0M jesolver_free_linux_..> 2019-12-23 09:18 2.0M jesolver_free_linux_..> 2019-12-12 08:56 1.0M jesolver_free_linux_..> 2019-12-03 11:09 1.0M jesolver_free_linux_..> 2019-11-21 04:25 1.0M jesolver_free_linux_..> 2019-11-14 09:26 1.0M jesolver_free_1038.t..> 2018-02-13 05:19 833K jesolver_free_1037.t..> 2017-08-27 10:45 831K jesolver_free_1036.t..> 2017-06-29 08:13 831K jesolver_free_1035.t..> 2017-03-24 05:30 807K jesolver_free_1034.t..> 2017-03-16 16:00 807K jesolver_free_1033.t..> 2017-03-15 19:41 806K jesolver_free_1032.t..> 2016-11-28 13:06 807K jesolver_free_1031.t..> 2016-08-31 10:49 806K jesolver_free_1030.t..> 2016-08-29 10:11 807K jesolver_free_1029.t..> 2016-08-18 15:07 808K jesolver_free_1028.t..> 2016-08-09 13:40 807K jesolver_free_1027.t..> 2016-08-08 14:31 801K jesolver_free_1026.t..> 2016-08-07 14:42 785K jesolver_free_1025.t..> 2016-07-28 16:56 765K jesolver_free_1024.t..> 2016-07-20 09:39 765K jesolver_free_1023.t..> 2016-06-07 23:23 762K jesolver_free_1022.t..> 2016-05-31 13:11 762K jesolver_free_1021.t..> 2016-05-29 13:27 756K