Add monosat dependancy #72

Open

Assignees

Labels

opened

on Oct 23, 2025

Find how to include monosat.jar into libraries in order to execute pml-analyzer. This dependancy cannot be managed via SBT :(

Metadata

Assignees

ccoquand

Labels

Type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests