ScalaISL

Scala bindings to the Integer Set Library (ISL)

Disclaimer

This project is in an experimental state, is not intended for serious or production use at this stage, and might never be. It was developed to support my own research and workflow. There are no guarantees of stability, maintenance, completeness, or particular direction.

What is there

• Scala types for core ISL constructs: isl_set, isl_map, etc.
• Simple method syntax to call most functions.
• Basic contextual argument usage for isl_context.
• Built using ISL's interface extractor and jnr-ffi

What is not

• Documentation
• Tests
• Distribution beyond linux-x86

Quick Example

https://github.com/PapyChacal/ScalaISL/blob/main/src/main/scala-3/isl.scala

How to

Compile

./mill compile

Run example code

in src/main/scala-3/isl.scala

./mill run

Publish locally

to build and use as a dependency locally, e.g. try it out on non-linux and/or non-x86.

./mill publishLocal