search

ComputationWithBoundedResources / slogic

A s(imple)logic library providing interfaces to external solvers
BSD 3-Clause "New" or "Revised" License
0 stars 1 forks source link

add stack-13.20.yaml configuration file #4

Closed dio4ev closed 4 years ago

dio4ev commented 4 years ago