Skip to content

Commit

Permalink
Merge pull request #15 from mxkramer/main
Browse files Browse the repository at this point in the history 
v2 of the work (also uses pseudo-industrial data)
  • Loading branch information
@mxkramer
mxkramer authored Dec 18, 2024
2 parents 8ac07a5 + 3b4c3c1 commit 5258737
Show file tree
Hide file tree
Showing 12,530 changed files with 4,036,667 additions and 1,041 deletions.
The diff you're trying to view is too large. We only load the first 3000 changed files.
21 changes: 17 additions & 4 deletions .github/workflows/security-check.yml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -7,6 +7,7 @@ on:
pull_request:
branches:
- main

env:
DEP_PATH: /requirements.txt

Expand All @@ -24,7 +25,19 @@ jobs:
with:
python-version: '3.10'

- name: Security vulnerabilities scan
uses: aufdenpunkt/python-safety-check@master


- name: Set up virtual environment
run: |
python -m venv venv
source venv/bin/activate
pip install --upgrade pip
pip install -r requirements.txt
pip install safety
- name: Check for Security Issues
run: |
source venv/bin/activate
safety check -r requirements.txt --ignore 71796,71582,70904,71587,71589,71584,71691,71698,71963,67933,71586,71585,71581,72394,71692,71693,74438,71578,71577,71579
- name: Cleanup
run: |
rm -rf venv
1 change: 1 addition & 0 deletions .gitignore
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,6 @@
mlrun_save/.
experiments/params_save/.
Data/trajectories/.
# Byte-compiled / optimized / DLL files
__pycache__/
*.py[cod]
Expand Down
2 changes: 2 additions & 0 deletions Cargo.toml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -14,3 +14,5 @@ pyo3 = { version = "0.17.3", features = ["extension-module"] }
rand = "0.8.5"
rand_distr = "0.4"
varisat = "0.2.2"
rayon = "1.5.1"
time = "0.3"
294 changes: 294 additions & 0 deletions Data/G4SAT/easy/ca/test/sat/00000.cnf
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,294 @@
p cnf 29 293
-3 -4 5 2 1 0
17 -15 -13 -12 16 0
-4 -5 -2 3 1 0
-17 13 -14 12 -15 0
-23 20 -19 18 -21 0
-7 8 -9 11 6 0
28 -25 -27 -29 -24 0
-4 -3 2 1 -5 0
-18 19 -21 23 -22 0
-17 14 16 13 -15 0
-14 16 -12 17 -15 0
16 12 -14 17 15 0
13 14 -15 -12 -16 0
-7 -9 6 8 -11 0
23 -20 19 -22 -18 0
-15 17 -14 16 12 0
13 -14 -17 -12 -16 0
-16 14 15 17 -13 0
-2 3 -5 -1 -4 0
-3 -1 5 4 2 0
-4 2 -1 -5 3 0
2 -5 4 1 3 0
-26 29 24 -25 -27 0
-11 -6 8 -7 -9 0
-27 -25 -24 29 -28 0
-23 20 18 19 21 0
-18 20 -22 21 23 0
-29 -25 -27 24 26 0
4 3 5 2 1 0
-5 -2 4 3 1 0
-10 -7 -11 -6 9 0
19 23 20 -21 -18 0
13 -14 15 -16 -12 0
-11 9 6 8 7 0
3 -4 2 5 1 0
21 23 -18 20 -19 0
8 7 11 -10 6 0
26 -24 -25 28 27 0
13 -16 15 17 -12 0
-17 15 -12 16 -13 0
-22 -23 -18 19 20 0
28 -27 -29 26 -25 0
-27 28 26 -24 -29 0
-3 -1 4 -2 5 0
1 -2 5 4 -3 0
21 -22 -18 23 19 0
10 11 7 -6 9 0
-22 20 -18 -23 -19 0
26 -24 -28 25 -29 0
12 16 -13 -17 -14 0
14 15 17 13 -16 0
4 -1 -2 5 3 0
29 26 25 28 27 0
14 15 -16 17 -12 0
15 12 17 -13 -14 0
-28 -25 27 -24 -29 0
29 24 28 -26 27 0
19 -22 21 -20 -23 0
-3 2 4 1 -5 0
1 5 2 -3 4 0
-15 -13 17 16 14 0
-28 -24 -29 26 -27 0
7 -6 -9 10 8 0
6 -11 8 -10 -7 0
-27 29 -28 24 -25 0
-18 19 -21 20 -22 0
-7 -6 11 -10 -9 0
13 17 -15 -14 -12 0
25 24 -29 26 28 0
-5 3 4 2 -1 0
25 -28 24 29 26 0
-8 9 -6 -11 7 0
28 27 -29 24 -26 0
8 -9 -6 -11 10 0
1 -5 -3 -2 -4 0
29 -24 -25 -28 -26 0
-16 12 15 14 17 0
-19 21 -18 -20 22 0
-22 -19 20 -21 -18 0
13 17 -15 -16 -14 0
-14 -17 -15 -16 -12 0
-21 -23 20 -22 18 0
-21 19 23 20 -22 0
-3 4 -5 -1 2 0
-2 -4 3 -1 5 0
29 -27 24 -28 26 0
-12 14 15 -17 -13 0
21 23 -19 18 -20 0
-7 10 -9 8 -11 0
24 -26 27 29 25 0
14 12 17 -15 16 0
-4 -5 -3 2 -1 0
29 26 27 -28 -25 0
-10 -6 11 7 8 0
18 -22 19 20 -21 0
-1 3 5 2 4 0
9 -7 11 10 8 0
-16 14 -13 -12 -15 0
-19 23 -20 21 22 0
-1 -3 4 -2 -5 0
26 27 28 29 -25 0
-29 25 -28 24 -27 0
-14 12 16 -13 17 0
-11 -10 6 -8 9 0
-7 -8 11 -9 6 0
27 -29 -25 28 -26 0
13 12 15 -14 -16 0
7 8 -6 9 10 0
-27 -28 -25 26 -29 0
12 14 13 17 -16 0
12 17 15 16 14 0
-1 -3 -4 -2 -5 0
11 -6 8 10 9 0
3 5 1 -4 -2 0
17 -12 -14 -16 -13 0
-10 9 -7 8 11 0
24 25 26 -27 -29 0
-17 12 -15 14 -13 0
13 14 -17 -16 -15 0
-9 8 -11 6 7 0
21 -23 18 -20 19 0
21 20 -18 19 22 0
-17 14 -12 -16 15 0
28 -29 -24 25 26 0
12 17 -14 -16 -13 0
23 20 -21 22 18 0
-9 10 8 11 7 0
-10 8 -6 9 -11 0
27 26 -29 -28 24 0
15 -3 -11 -18 -27 0
1 -4 -3 5 -2 0
6 8 -10 11 9 0
14 -13 -17 -12 -15 0
17 13 -14 -16 12 0
-12 14 15 13 17 0
-18 20 22 -21 -19 0
22 -19 23 20 18 0
-28 -25 24 -26 29 0
14 -17 -16 -13 15 0
23 -19 -22 21 20 0
29 28 24 -25 27 0
-25 24 -28 -29 27 0
27 -29 -28 -24 25 0
-6 -11 10 8 -7 0
24 27 -28 -26 29 0
23 20 -22 19 21 0
-16 -12 -17 -15 13 0
21 19 -20 22 -23 0
-18 -21 -19 23 20 0
-20 18 -21 23 -22 0
-24 -29 28 25 -27 0
-4 3 1 -5 2 0
11 -8 7 -9 -6 0
22 -18 -19 -23 20 0
-13 -17 -14 16 -12 0
-18 19 21 -22 20 0
-20 -18 -21 22 -19 0
18 -19 -23 -21 22 0
-22 -20 23 19 18 0
-22 -19 20 23 18 0
-22 20 -21 18 -19 0
-29 28 -24 -26 27 0
28 25 24 -27 29 0
26 28 27 -29 24 0
5 -4 -2 -3 -1 0
11 6 7 10 9 0
13 -15 -16 -12 17 0
22 -19 18 -23 20 0
-20 23 22 18 -21 0
-26 29 -28 -27 -24 0
-22 20 -21 -23 -19 0
-4 -3 -1 5 2 0
-17 16 -14 -13 -15 0
-28 27 26 -24 -25 0
-9 -8 -11 7 6 0
-26 25 28 -27 24 0
-19 18 -23 21 -20 0
-14 -16 -17 15 -12 0
-7 -10 -8 -6 11 0
13 17 15 12 16 0
-14 13 -12 -16 -15 0
25 -24 26 29 -28 0
-27 29 24 -28 25 0
16 -13 -12 -15 -14 0
-8 -11 -9 10 6 0
-9 7 6 8 -10 0
-23 -21 18 -20 -19 0
17 -12 13 16 15 0
10 11 -7 6 -8 0
-10 -7 -11 6 -9 0
-17 -14 13 16 15 0
26 -25 24 27 -28 0
12 17 -15 -14 13 0
27 -28 -26 25 -29 0
-12 15 14 17 -13 0
21 -19 23 -22 18 0
27 25 -24 29 26 0
27 -26 28 25 24 0
-14 13 17 12 15 0
-11 -6 9 -7 8 0
6 8 7 9 10 0
9 10 -6 11 -8 0
6 9 8 7 11 0
-11 6 -9 8 -10 0
10 11 7 6 -9 0
6 7 -11 -10 -9 0
29 -26 27 -24 -28 0
-7 10 11 -8 -6 0
-11 -6 7 -9 -8 0
11 7 6 -10 -8 0
-24 29 27 25 28 0
-10 -6 -7 -9 -8 0
-26 -25 24 -28 -29 0
-12 -16 -17 15 -13 0
26 -25 29 -28 -27 0
19 20 -23 22 -18 0
-15 -16 -13 -17 -12 0
-9 11 7 -8 -10 0
18 -20 23 -21 -19 0
20 -23 21 19 -22 0
-21 -18 -22 -19 23 0
-13 -14 -16 17 -15 0
14 -15 13 -16 12 0
10 -6 -8 7 11 0
-21 -19 -20 -22 23 0
-13 -17 -14 12 -16 0
-10 7 -8 11 9 0
-19 22 -21 20 23 0
-22 18 23 -21 19 0
11 -9 10 7 -8 0
17 13 15 -14 -12 0
-17 15 -13 -16 -14 0
25 26 -27 28 24 0
8 -6 -9 11 -10 0
-18 21 -20 -19 -23 0
27 26 -25 -29 -24 0
16 12 -15 17 -13 0
10 8 9 -11 -7 0
-16 17 -15 13 14 0
24 -25 27 -29 26 0
16 -17 -14 -12 -15 0
14 -17 -16 15 13 0
-6 9 11 7 8 0
-15 16 -17 -13 12 0
12 16 -17 15 -14 0
6 11 8 -7 9 0
-24 -29 -26 -27 -28 0
-17 -12 13 -15 14 0
-21 -22 -20 19 -23 0
24 -28 26 27 25 0
-18 -21 -20 23 -19 0
21 18 -22 20 19 0
-15 -16 -14 -13 -12 0
26 28 24 -25 27 0
17 15 16 -13 -12 0
-6 -9 10 -7 11 0
-27 -24 -26 25 29 0
10 7 -11 8 -6 0
-10 8 -6 -7 9 0
-20 -21 19 23 18 0
26 28 -29 -24 -25 0
16 14 -15 -17 -12 0
-8 11 10 9 6 0
-5 -2 -1 3 4 0
-20 23 18 -19 22 0
-24 29 -27 28 -26 0
20 -19 18 -23 21 0
-23 22 -21 20 -19 0
19 23 20 18 -21 0
12 -13 -17 -15 -16 0
-8 9 -6 -7 10 0
-23 -22 -18 -20 19 0
12 15 -17 -14 -13 0
-20 -18 -23 22 21 0
28 -27 26 25 -24 0
-20 -23 -18 -22 21 0
9 -7 8 10 6 0
-7 10 6 -8 -9 0
24 -25 -28 26 -29 0
26 -24 -28 27 25 0
17 -16 12 13 -15 0
-21 20 -18 19 22 0
-26 28 -25 29 27 0
7 6 -11 10 -8 0
-24 28 26 -25 29 0
-17 16 -12 15 14 0
7 10 6 -11 8 0
18 19 23 -22 21 0
-7 9 11 -10 -6 0
10 -6 -7 11 8 0
-27 25 -29 24 28 0
-10 7 -9 -6 8 0
23 -20 -21 22 -18 0
Binary file added Data/G4SAT/easy/ca/test/sat/00000_samples_sol.npy
View file
Binary file not shown.
Binary file added Data/G4SAT/easy/ca/test/sat/00000_sol.pkl
View file
Binary file not shown.
Loading

0 comments on commit 5258737

Please sign in to comment.