Search Package Index

1 packages found

 PackageDescriptionBuild 

ocelot

A solver-aided relational logic DSL

Docs:

This package needs license metadata

fails6