1-alex98

script {
    def userInput = "start"
    while (userInput != ""){
        userInput = input(
                message: 'Please enter the command to run:',
                parameters: [
                        string(name: 'COMMAND', defaultValue: '', description: 'Command to execute')
                ]
        )
        // Execute the user-provided command

1-alex98

#!/usr/bin/python3
import math

import z3
import struct
import sys
import numpy
from decimal import Decimal

from z3 import Or

1-alex98

plugins {
    id 'application'
    id 'org.openjfx.javafxplugin' version '0.0.8'
}

repositories {
    mavenCentral()
}
int javafxVersion=11
String javafxPlatform ="undefined"