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
procon-gardener
34
Stars
10
Forks
Watchers
Archive your accepted code
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