1-alex98
/ gist:0d26a800b5ee0b88ff8b2b550136f259
Last active
February 25, 2024 14:11
v8 java script z3 math.floor and math.random predict next number
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #!/usr/bin/python3 | |
| import math | |
| import z3 | |
| import struct | |
| import sys | |
| import numpy | |
| from decimal import Decimal | |
| from z3 import Or |
1-alex98
/ gist:9e85054a82da53285cd9e0d282db8f93
Created
May 20, 2020 17:53
Build.gradle for javafx application java 11
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| plugins { | |
| id 'application' | |
| id 'org.openjfx.javafxplugin' version '0.0.8' | |
| } | |
| repositories { | |
| mavenCentral() | |
| } | |
| int javafxVersion=11 | |
| String javafxPlatform ="undefined" |