Welcome to Sakai Lab.
Pages in Japanese.
Esoteric language: Malbolge
Psudo-Boolean Solver: NaPS
Combinatorial Optimization Solver based on SQL: CombSQL+
a Converter of C Programs to LCTRSs: c2lctrs
a COnverter for proving COnfluence of COnditional term rewriting systems: CO3
REwrite-Program Inversion and Unraveling System: REPIUS
Projected Model Counting/BDD construction: GPMC/PC2BDD
Topics of our researches(
Information Engineering Course
Grad. School of Informatics
This site is served by root
c.jp, last modified: Mar.21.2021 .