Siyuan Chen
Siyuan Chen
See the following program: ``` (run* (q) (z/ `(declare-const ,q Int)) (z/assert `(and (>= ,q 1) (= ,x 1) (
There are two main repos of miniKanren's SMT hook: [clpsmt-miniKanren](https://github.com/namin/clpsmt-miniKanren) and [smt-assumptions](https://github.com/namin/faster-miniKanren/tree/smt-assumptions) These two repos seemly have their own advantages and restrictions. 1. `smt-assumptions` uses `check-sat-assuming` to improve performance and...
Executing the following program crash: ``` (run 2 (q) (z/ `(declare-const ,q Int)) (== q 6)) Exception in call-z3: error in z3 out.smt > out.txt ``` smt.out ``` (declare-const 6...
Hi, I am trying to use clpsmt-miniKanren for constraint logic programming, it's great work! But I am not sure which z3 version should I use? I initially used z3-4.8.12, but...
Hi, Markus Thanks you for this remarkable work. I found that the current `ediprolog` doesn't work with swi-prolog 8.4.1 on Windows, and @htzh's [pull request ](https://github.com/triska/ediprolog/pull/1) doesn't work for me....
Detail see https://github.com/triska/ediprolog/issues/7
In VisualStudio/IntelliJ IDEA/Eclipse, we have navigation buttons in toolbar, it's very convenience when browsing code. (Navigate Backward/Navigate Forward) I think it is necessary to add this feature. operating system: windows7...
Reproduce step: 1. Create two files in a very deep directory, for example ``` E:\work-pl\racket\code\racket-mode-tests\xxxxxxxxxxxxx\xxxxxxxxxxxxx\xxxxxxxxxxxxx\xxxxxxxxxxxxx\xxxxxxxxxxxxx\test-long-path.rkt E:\work-pl\racket\code\racket-mode-tests\xxxxxxxxxxxxx\xxxxxxxxxxxxx\xxxxxxxxxxxxx\xxxxxxxxxxxxx\xxxxxxxxxxxxx\main.rkt ``` 2. The two files contain test-long-path.rkt ``` #lang racket (provide (all-defined-out)) (define (foo)...
Is there any "no-value" idiom in the current Racket? Generally speaking, there are two kinds of "no value": 1. Representing partial function Some functions may fail. Usually, they will raise...
Can you tell me some reason about: why depreciate KopiLua? In my view, even though Unity 5 allowed Indie licnence use native dlls, support KopiLua is not a bad idea.