togatoga

icon location Tokyo icon location I'm a software engineer, interested in competitive programming and sat solver and NLP and IR.

Results 4 repositories owned by togatoga

togasat

63
Stars
11
Forks
Watchers

A Header-Only CDCL SAT Solver for Programming Contest

verified publisher icon togatoga

monkey-json

25
Stars
1
Forks
Watchers

A hobby project to write JSON parser from the scratch

verified publisher icon togatoga

procon-gardener

32
Stars
10
Forks
Watchers

Archive your accepted code

verified publisher icon togatoga

screwsat

36
Stars
3
Forks
Watchers

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

verified publisher icon togatoga