Massively Collaborative Research
The Busy Beaver Challenge
Infos
| Handle | @djmati1111@cosearch.bbchallenge.org |
| Display Name | Konrad Deka |
| Discord Display Name | dj mateuszek 11 lat |
| GitHub | https://github.com/colette-b/ |
SAT-based FAR implementation
| Handle | @djmati1111@cosearch.bbchallenge.org |
| Display Name | Konrad Deka |
| Discord Display Name | dj mateuszek 11 lat |
| GitHub | https://github.com/colette-b/ |