Salman Saghafi
Results
2
repositories owned by
Salman Saghafi
rusty-razor
55
Stars
1
Forks
Watchers
Razor is a tool for constructing finite models for first-order theories
codd
60
Stars
1
Forks
Watchers
A minimal in-memory database with relational algebraic expressions as queries