Hitoshi Togasaki

Results 5 repositories owned by Hitoshi Togasaki

togasat

67
Stars
11
Forks
Watchers

A Header-Only CDCL SAT Solver for Programming Contest

monkey-json

28
Stars
1
Forks
Watchers

A hobby project to write JSON parser from the scratch

screwsat

38
Stars
3
Forks
Watchers

A simple CDCL(Conflict-Driven-Clause-Learning) SAT solver in Rust.

kanpyo

98
Stars
1
Forks
Watchers

Japanese Morphological Analyzer written in Rust