Kotlin CLI for Regel that runs Regel in an interactive (AKA Customized) mode. It uses so
(StackOverflow) pretrained model. The work is inspired by utopia-group/regel.
Before Running the CLI make sure that following dependencies are installed.
- Z3. Make sure you have Z3 installed with the Java binding.
ant
to compile the java files.+java
1.8.0
To build SEMPRE follow these steps:
chmod +x dependencies.sh
./dependencies.sh
runConfiguations
are included in.idea
. So after opening the project in IDEA. Just runMainKt
configuration/
./gradlew run
docker build -t regel-kt:v1 .
docker run -it regel-kt:v1
- Resnax(Synthesiser) runs on a Multithread Pool. I tried different approaches like
Executors
,Streams
andflowOf{}
, but wasn't able to reciprocate the desired results. - Resnax stucks on the main thread. Possible reasons are:
- No Multithreading implemented.
- Kotlin Overhead to port Java code(Highly Unlikely).
- Resnax runs on shorter examples.