Questions tagged [optimathsat]
21 questions
1
vote
2 answers
Optimization with Minizinc - Only print optimal solutions
at the moment I'm having a closer look on Minizinc.
Minizinc is showing all valid solutions of my model in the output window when solving the model. I'm a bit confused because I did not ask minizinc to solve the model as a satisfaction problem.
Is…
Westfale
- 13
- 2
0
votes
1 answer
Linear Programming Binary Variable Grouping
I am new to Linear Programming, tried few sample cases.
Seeking help on solution/approach for below problem.
I am not sure if it's linear programming or I should look in other options.
Here I am trying to identify the designers with best cost to…
Explore
- 115
- 13
0
votes
1 answer
Incremental Learning using MAXSMT
Can we use the previous solution of a MaxSMT solver (optimize) in an incremental way in z3? Also, Is there any way to print out the soft assertions on the optimizer?
Kshitij Goyal
- 61
- 7
0
votes
1 answer
syntax error when taking a code from mac to linux machine
I have this code that I wrote to execute on my Linux remote machine for some reppetitive experiments with different input.
#!/bin/bash
#timeout 10m
trap "exit 1" INT
repeat() {
executiontime=$( /usr/bin/time …
waffles123
- 19
- 6
0
votes
1 answer
Specific inputs of experiment return parser error
#!/bin/bash
for tracelength in 50 100 150 200 250 300 350 400 450 500 ; do
step=0.2
short=0
long=1
for i in {1..4}; do
ratio=0
for j in {1..4}; do
declare -a listofresults
echo…
basel117
- 189
- 1
- 10
0
votes
1 answer
get execution time only from the command gtime
I need to execute a command and get the execution time of it. I am using gtime but the output is a bit different from what I want.
gtime returns the result of the execution and then the execution time. I need to store the output of the…
basel117
- 189
- 1
- 10