search

ctrekker / Deductive.jl

A package for expressing and automatically proving logical statements symbolically in Julia
MIT License
19 stars 2 forks source link

Fast batch pattern search #26

Closed ctrekker closed 2 years ago

ctrekker commented 2 years ago

Closes #25