|
About the Pack category
|
|
0
|
389
|
July 21, 2020
|
|
Installing janus_swi on Windows
|
|
9
|
65
|
November 29, 2024
|
|
SWISH: sandboxing clp(BNR)
|
|
1
|
39
|
November 10, 2024
|
|
App provided by a pack found by `app list` but not when run…
|
|
2
|
22
|
August 23, 2024
|
|
SQLite dependency in a pack
|
|
12
|
83
|
July 31, 2024
|
|
How to change the url of the code of a pack
|
|
8
|
428
|
July 22, 2024
|
|
Running IO Operations from Python with Janus
|
|
4
|
141
|
April 28, 2024
|
|
Pack operations fail after upgrading swi-prolog to 9.2.1
|
|
11
|
243
|
February 19, 2024
|
|
Package of CHR with dynamic rule priorities?
|
|
19
|
1311
|
December 30, 2023
|
|
C++ foreign interface error
|
|
5
|
316
|
September 10, 2023
|
|
Yaml's treatment of single letter values
|
|
2
|
297
|
May 4, 2023
|
|
Answers to queries not written to stdout on WASM + Node
|
|
4
|
294
|
April 19, 2023
|
|
Firebase Functions + SWI-Prolog WASM (Node) - Memory build-up issue
|
|
5
|
531
|
April 3, 2023
|
|
FFI pack installation failure
|
|
2
|
311
|
February 22, 2023
|
|
[SWIPL] cplint package unreachable
|
|
1
|
414
|
November 15, 2022
|
|
clpBNR: B or B
|
|
27
|
738
|
October 13, 2022
|
|
Problems compiling Rocksdb
|
|
35
|
1510
|
August 22, 2022
|
|
Different results when using library(simplex) or R-package lpSolve / lpSolveAPI
|
|
6
|
756
|
July 13, 2022
|
|
Pack RocksDB, build fails on Ubuntu 22.04 LTS on WSL on Windows (reproducible)
|
|
22
|
2484
|
July 2, 2022
|
|
Progress monitoring using HTTP client
|
|
1
|
438
|
April 28, 2022
|
|
Stacktraces in Package Trill
|
|
5
|
565
|
April 13, 2022
|
|
Pack trill, problem with sub_class and prob_sub_class
|
|
1
|
349
|
April 7, 2022
|
|
Why do I get an "Arithmetic: evaluation error: `zero_divisor'" ? in cplint / slipcover
|
|
4
|
713
|
April 6, 2022
|
|
Installing & calling scasp for SWI-Prolog
|
|
5
|
641
|
April 5, 2022
|
|
Probabilistic sat solver in cplint
|
|
2
|
469
|
April 2, 2022
|
|
Segfault via cplint / pita / dt_solve in version swipl: 8.4.1 cplint: 4.5.0
|
|
1
|
423
|
April 2, 2022
|
|
Cplint/pita forall / findall bug
|
|
6
|
524
|
March 31, 2022
|
|
Possible bug in cplint, example multinomial.pl does not end
|
|
2
|
440
|
March 30, 2022
|
|
Bug in cplint
|
|
4
|
477
|
March 29, 2022
|
|
XML Validator in SWI-Prolog
|
|
5
|
690
|
March 22, 2022
|