Simeon Wuthier
Results
2
repositories owned by
Simeon Wuthier
blockchain-simulator
25
Stars
10
Forks
Watchers
A proof-of-work network simulator for blockchain and cryptocurrency research.
top-SAT-solvers-2021
20
Stars
3
Forks
Watchers
The top three SAT solvers of 2021: kissat-MAB, lstech_maple, and kissat_gb.