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

Merge pull request #4 from ComputationWithBoundedResources/master #5

Closed dio4ev closed 4 years ago

dio4ev commented 4 years ago

add stack-13.20.yaml configuration file