|
About the Pack category
|
|
0
|
389
|
July 21, 2020
|
|
Mutually exclusive clp(BNR) constraints
|
|
5
|
64
|
April 12, 2025
|
|
How to embed Python into Prolog on MacOS?
|
|
2
|
40
|
February 3, 2025
|
|
Installing janus_swi on Windows
|
|
9
|
139
|
November 29, 2024
|
|
SWISH: sandboxing clp(BNR)
|
|
1
|
42
|
November 10, 2024
|
|
App provided by a pack found by `app list` but not when run…
|
|
2
|
28
|
August 23, 2024
|
|
SQLite dependency in a pack
|
|
12
|
91
|
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
|
151
|
April 28, 2024
|
|
Pack operations fail after upgrading swi-prolog to 9.2.1
|
|
11
|
245
|
February 19, 2024
|
|
Package of CHR with dynamic rule priorities?
|
|
19
|
1317
|
December 30, 2023
|
|
C++ foreign interface error
|
|
5
|
325
|
September 10, 2023
|
|
Yaml's treatment of single letter values
|
|
2
|
300
|
May 4, 2023
|
|
Answers to queries not written to stdout on WASM + Node
|
|
4
|
297
|
April 19, 2023
|
|
Firebase Functions + SWI-Prolog WASM (Node) - Memory build-up issue
|
|
5
|
536
|
April 3, 2023
|
|
FFI pack installation failure
|
|
2
|
314
|
February 22, 2023
|
|
[SWIPL] cplint package unreachable
|
|
1
|
414
|
November 15, 2022
|
|
clpBNR: B or B
|
|
27
|
739
|
October 13, 2022
|
|
Problems compiling Rocksdb
|
|
35
|
1534
|
August 22, 2022
|
|
Different results when using library(simplex) or R-package lpSolve / lpSolveAPI
|
|
6
|
762
|
July 13, 2022
|
|
Pack RocksDB, build fails on Ubuntu 22.04 LTS on WSL on Windows (reproducible)
|
|
22
|
2539
|
July 2, 2022
|
|
Progress monitoring using HTTP client
|
|
1
|
440
|
April 28, 2022
|
|
Stacktraces in Package Trill
|
|
5
|
566
|
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
|
720
|
April 6, 2022
|
|
Installing & calling scasp for SWI-Prolog
|
|
5
|
651
|
April 5, 2022
|
|
Probabilistic sat solver in cplint
|
|
2
|
472
|
April 2, 2022
|
|
Segfault via cplint / pita / dt_solve in version swipl: 8.4.1 cplint: 4.5.0
|
|
1
|
424
|
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
|