search

sambayless / monosat

MonoSAT - An SMT solver for Monotonic Theories
MIT License
106 stars 29 forks source link

Outdated jar file included in git repo #12

Closed copumpkin closed 6 years ago

copumpkin commented 6 years ago

I noticed that you have src/monosat/api/Monosat.jar in this repo, last updated a couple of years ago. Was that included by mistake?

sambayless commented 6 years ago

Good catch, that should be removed. I'm away from my keyboard today (and am about to loose internet access), but I'll work through these tickets tomorrow. Thanks again!

On Sun, Jul 8, 2018, 9:08 AM Daniel Peebles notifications@github.com wrote:

I noticed that you have src/monosat/api/Monosat.jar in this repo, last updated a couple of years ago. Was that included by mistake?

— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub https://github.com/sambayless/monosat/issues/12, or mute the thread https://github.com/notifications/unsubscribe-auth/AALiCrsPJS107j2Ro0Zfd6rpx6DTRqn8ks5uEi5wgaJpZM4VGxzf .

copumpkin commented 6 years ago

No problem, thanks for the prompt responses! 😄