formulog icon indicating copy to clipboard operation
formulog copied to clipboard

Published 20 hours ago • verified publisher icon HarvardPL
→

Metadata

Datalog with support for SMT queries and first-order functional programming

← Metadata

144
Stars
8
Forks
Watchers

Owner

verified publisher icon HarvardPL

Metadata

Datalog with support for SMT queries and first-order functional programming

Back