lteu

#cmake_minimum_required(VERSION 2.8.4 FATAL_ERROR)

project(playground2)

include_directories(${Protobuf_INCLUDE_DIRS} ${EIGEN3_INCLUDE_DIRS} ${TENSORFLOW_INCLUDE_DIRS} ${OpenCV_INCLUDE_DIRS})

set (SOURCEFILES    	stdafx.h

                                                playground.cpp)

lteu

cmake_minimum_required(VERSION 2.8.4 FATAL_ERROR)

cmake_policy(SET CMP0002 NEW)
cmake_policy(SET CMP0003 NEW)
cmake_policy(SET CMP0011 NEW)

# The project and cmake vars must only be defined in case that only the base
# filter should be build.
if(NOT AADC_BUILD_ALL_IN_ONE)
    # define a project name

lteu

"2018-09-26 12:52:48 [ERROR]: Could not register plugin in runtime Result code '-44 '(ERR_INVALID_VERSION) 
- Found incompatible plugin "/home/aadc/AADC/adtf-basic-software/src/aadcUser/../../_install/linux64/bin/playground2.adtfplugin": 
invalid version ucom-version 
[File: /mnt/data/jenkins/ws/A3_bld/PLATFORM/U1604_x64_gcc54/source/src/libraries/ucom3/src/runtime.cpp] 
[Line: 1825] [Func: LoadPluginImpl] [main.cpp(229)]
2018-09-26 12:52:48 [ERROR]: Result code '-44 '(ERR_INVALID_VERSION) 
- Found incompatible plugin 
"/home/aadc/AADC/adtf-basic-software/src/aadcUser/../../_install/linux64/bin/playground2.adtfplugin": 
invalid version ucom-version [File: /mnt/data/jenkins/ws/A3_bld/PLATFORM/U1604_x64_gcc54/source/src/libraries/ucom3/src/runtime.cpp] 
[Line: 1825] [Func: LoadPluginImpl] [main.cpp(693)]"

lteu

# Binary Search for COP problem on item selection
# ref: http://stackoverflow.com/questions/41708500/how-to-declare-constraints-with-variable-as-array-index-in-z3py

from z3 import *
import sys
import time
import json
import sys

# ======================

lteu

{"bonusVals":[[1,4,8,7,9,8,7,7,7,7,7,7,7,7,7,7,7,7,8,9,7,2,4,5,5,5,4,3,3,3,4,6,5,3,4,4,4,5,3,4,5,5,5,6,6,7,9,8,9,9,9,10,9,9,9,9,9,9,9,9,9,8,8,8,8,8,8,7,7,7,10,10,9,8,8,8,8,7,7,7,7,7,7,7,7,8,8,8,8,4,4,5,5,5,6,8,10,8,9,9,8,9,9,8,8,8,8,8,8,8,8,7,7,7,7,6,6,6,6,6,6,6,4,4,4,4,8,8,7,4,4,7,6,6,6,6,6,6,6,5,5,5,5,5,6,7,7,5,10,9,9,9,5,4,6,6,5,5,7,7,4,5,6,6,8,8,7,7,7,8,8,8,8,9,9,7,6,8,7,8,8,6,8,9,9,9,10,10,9,9,8,7,8,7,6,6,6,5,5,5,5,5,5,5,5,8,7,10,10,9,10,4,3,4,2,7,8,10,10,11,11,9,8,10,10,11,11,8,8,6,7,7,6,6,5,10,10,11,10,10,6,6,9,9,6,5,5,5,6,6,12,7,9,6,5,9,5,5,9,9,9,7,12,12,8,5,7,6,6,6,5,7,7,4,7,4,7,7,4,9,9,7,6,9,9,6,7,7,4,7,8,10,4,7,8,10,10,9,7,3,10,8,3,5,4,6,5,7,8,9,7,4,9,8,7,7,7],[4,1,7,4,8,7,6,6,5,5,4,4,4,4,4,4,4,4,5,6,7,4,5,4,4,4,3,5,5,4,4,5,5,3,2,2,2,2,6,2,2,3,3,3,4,4,7,6,7,7,6,7,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,7,7,7,7,6,5,5,5,5,5,5,5,5,5,5,6,6,7,7,7,4,3,3,3,4,4,6,7,5,8,8,7,6,7,5,5,5,5,5,5,5,5,5,5,6,4,4,3,3,3,3,3,3,5,5,4,4,5,5,4,2,3,6,6,6,5,5,6,6,6,6,6,6,6,6,5,5,5,3,8,7,7,7,4,4,4,4,3,3,5,5,4,4,4,4,5,5,5,4,5,5,5,6