Arthur Correnson

Results 2 repositories owned by Arthur Correnson

owl

19
Stars
1
Forks
Watchers

A mini language for logic programming

SATurne

18
Stars
3
Forks
Watchers

Tiny verified SAT-solver