issues
search
ProvideQ
/
toolbox-server
Resources for the server that hosts the toolbox (Backend)
https://provideq.kit.edu
MIT License
1
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Run unit tests in CI
#28
schweikart
closed
1 year ago
0
Fix comment order
#27
Elscrux
closed
1 year ago
0
REST API tests
#26
schweikart
closed
1 year ago
0
docs: add release guide
#25
schweikart
closed
1 year ago
0
Release version 0.2.1
#24
schweikart
closed
1 year ago
0
Release Version 0.2.0
#23
schweikart
closed
1 year ago
0
Swagger Documentation
#22
Elscrux
closed
1 year ago
0
build: configure auto-deployment for develop branch
#21
schweikart
closed
1 year ago
0
Meta solver settings
#20
Elscrux
closed
1 year ago
0
Add MaxCut solver using Cirq
#19
schweikart
closed
11 months ago
1
Feature Model Anomaly + Subroutine Framework
#18
Elscrux
closed
1 year ago
1
Obfuscate confidential license data in GAMS output
#17
schweikart
closed
1 year ago
0
build: make GAMS extraction quiet to avoid flooding logs
#16
schweikart
closed
1 year ago
0
build: reduce image size
#15
schweikart
closed
1 year ago
4
build: reduce docker image size
#14
schweikart
closed
1 year ago
0
Fix deployment: python + GAMS dependencies
#13
schweikart
closed
1 year ago
0
Solver polish
#12
Elscrux
closed
1 year ago
0
Docker Deployment
#11
schweikart
closed
1 year ago
2
Solver picker
#10
Elscrux
closed
1 year ago
1
implemented the "meta solver strategy", maxCut meta solver now chooses random solver
#9
PhilippSeidel
closed
1 year ago
0
Sat fixes
#8
Elscrux
closed
1 year ago
0
Website connection
#7
Elscrux
closed
1 year ago
0
SAT solver crashes for empty input string
#6
schweikart
closed
1 year ago
0
docs: add readme and license
#5
schweikart
closed
1 year ago
0
MaxCut Backend
#4
PhilippSeidel
closed
1 year ago
1
Gams sat
#3
Elscrux
closed
1 year ago
0
Set up automated deployment to dokku server
#2
schweikart
closed
1 year ago
0
add endpoints for solving SAT problems
#1
schweikart
closed
1 year ago
0
Previous