Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
CombSQL+: a solver for combnatorial optimization problems described in SQL based language
-
An interpreter for Malbolge20
-
A compiler of C-like language that produces Pseudo-Instruction sequences (C風言語から制御付き疑似命令列へのコンパイラ)
-
-
-
A compiler for low-level assembly language into Malbolge20 (低級アセンブリ言語からMalbolge20へのコンパイラ)
-
A compiler for Pseudo-Instruction sequences into Low-Level-Assembling langage (制御付き疑似命令列から低級アセンブリ言語へのコンパイラ)
-
-
For combsql+, PB is added combsql/pysmt 's branch optimization + pb
-
-
-
-
Naps source codes
-
gpmc に dnnf 式を生成する機能を追加
-
Naps source codes