diff --git a/.github/workflows/build_and_test.yml b/.github/workflows/build_and_test.yml new file mode 100644 index 0000000..89b739c --- /dev/null +++ b/.github/workflows/build_and_test.yml @@ -0,0 +1,51 @@ +name: build_and_test + +on: + push: + branches: + - main + pull_request: + branches: + - main + +jobs: + macos-test: + runs-on: macos-latest + steps: + - uses: actions/checkout@v3 + - name: Test + run: | + export DYLD_LIBRARY_PATH=${{ github.workspace }}/lib/macos/:$DYLD_LIBRARY_PATH + cargo test version + + linux-test: + runs-on: ubuntu-20.04 + steps: + - uses: actions/checkout@v3 + - name: Test + run: | + sudo apt install -y gcc g++ gfortran liblapack3 libtbb2 libcliquer1 libopenblas-dev libgsl23 patchelf + cargo test version + + + debian-test: + runs-on: ubuntu-20.04 + container: + image: debian:bullseye + env: + RUSTFLAGS: "-C link-arg=-Wl,-rpath,/usr/lib/x86_64-linux-gnu" + LD_LIBRARY_PATH: "/usr/lib/x86_64-linux-gnu" + steps: + - uses: actions/checkout@v3 + - name: Install dependencies + run: | + apt-get update + apt-get install -y gcc g++ gfortran liblapacke libtbb2 libcliquer1 libopenblas-dev libgsl-dev patchelf curl clang libclang-dev + - name: Install Rust + uses: actions-rs/toolchain@v1 + with: + toolchain: stable + override: true + - name: Test + run: | + cargo test version diff --git a/.gitignore b/.gitignore index f2f9e58..af73913 100644 --- a/.gitignore +++ b/.gitignore @@ -1,2 +1,3 @@ +.idea target Cargo.lock \ No newline at end of file diff --git a/Cargo.toml b/Cargo.toml index ece9d5f..e9497c9 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -7,9 +7,10 @@ repository = "https://github.com/scipopt/scip-sys" license = "Apache-2.0" links = "scip" -[dependencies] - [build-dependencies] -bindgen = "0.64" +bindgen = "0.68" cc = "1.0.73" -glob = "0.3.1" \ No newline at end of file +glob = "0.3.1" +os_info = { version = "3", default-features = false } +flate2 = "1.0.27" +tar = "0.4.40" \ No newline at end of file diff --git a/build.rs b/build.rs index 6bb4f44..56999d0 100644 --- a/build.rs +++ b/build.rs @@ -1,9 +1,64 @@ extern crate bindgen; -use glob::glob; +use flate2::read::GzDecoder; use std::env; use std::error::Error; +use std::fs::File; use std::path::PathBuf; +use std::process::Stdio; +use tar::Archive; + +use glob::glob; + +// Download libscip files from GitHub releases +fn download_lib_files() -> Result> { + let info = os_info::get(); + println!("cargo:warning=Detected OS: {}", info.os_type()); + + let os = match info.os_type() { + os_info::Type::Ubuntu => "linux-gnu-cxx11", + os_info::Type::Macos => "apple-darwin", + os_info::Type::Windows => "w64-mingw32-cxx11", + os => panic!("Unsupported OS: {}", os), + }; + + let arch = std::env::consts::ARCH; + println!("cargo:warning=Detected arch: {}", arch); + + let url_base = "https://github.com/JuliaBinaryWrappers/SCIP_jll.jl/releases/download/SCIP-v800.0.301%2B0/SCIP.v800.0.301."; + let url = format!("{}{}-{}.tar.gz", url_base, arch, os); + + let out_dir = env::var("OUT_DIR").unwrap(); + let out_dir = PathBuf::from(out_dir); + let out_dir = out_dir.join("lib"); + let out_dir = out_dir.to_str().unwrap(); + + // Download libscip files using curl + println!("cargo:warning=Downloading libscip files from {}", url); + let output = std::process::Command::new("curl") + .args(&["-L", &url, "-o", "libscip.tar.gz"]) + .stdout(Stdio::null()) + .stderr(Stdio::null()) + .output() + .map_err(|e| format!("Failed to download libscip files: {}", e))?; + + if !output.status.success() { + panic!("Failed to download libscip files"); + } + + // Extract libscip files + println!("cargo:warning=Extracting libscip files to {}", out_dir); + let tar_gz = File::open("libscip.tar.gz")?; + let tar = GzDecoder::new(tar_gz); + let mut archive = Archive::new(tar); + archive.unpack(out_dir)?; + + println!("cargo:warning=libscip files extracted to {}", out_dir); + println!("cargo:warning=cleaning up libscip.tar.gz"); + std::fs::remove_file("libscip.tar.gz")?; + + Ok(out_dir.to_owned()) +} fn _build_from_scip_dir(path: String) -> bindgen::Builder { let lib_dir = PathBuf::from(&path).join("lib"); @@ -21,7 +76,7 @@ fn _build_from_scip_dir(path: String) -> bindgen::Builder { ) ); } - println!("cargo:rustc-link-search={}", lib_dir_path); + println!("cargo:rustc-link-search={}/lib", lib_dir_path); println!("cargo:rustc-link-arg=-Wl,-rpath,{}", lib_dir_path); let include_dir = PathBuf::from(&path).join("include"); @@ -74,27 +129,9 @@ fn main() -> Result<(), Box> { } if !found_scip { - println!("cargo:warning=SCIP was not found in SCIPOPTDIR or in Conda environemnt, looking for SCIP in system libraries"); - - let headers_dir_path = "headers/"; - let headers_dir = PathBuf::from(headers_dir_path); - let scip_header_file = PathBuf::from(&headers_dir) - .join("scip") - .join("scip.h") - .to_str() - .unwrap() - .to_owned(); - let scipdefplugins_header_file = PathBuf::from(&headers_dir) - .join("scip") - .join("scipdefplugins.h") - .to_str() - .unwrap() - .to_owned(); - builder = bindgen::Builder::default() - .header(scip_header_file) - .header(scipdefplugins_header_file) - .parse_callbacks(Box::new(bindgen::CargoCallbacks)) - .clang_arg(format!("-I{}", headers_dir_path)); + println!("cargo:warning=SCIP was not found in SCIPOPTDIR or in Conda environemnt, downloading SCIP from GitHub releases"); + let lib_path = download_lib_files().unwrap(); + builder = _build_from_scip_dir(lib_path); } println!("cargo:rustc-link-lib=scip"); diff --git a/headers/bliss/abstractgraph.hh b/include/bliss/abstractgraph.hh similarity index 100% rename from headers/bliss/abstractgraph.hh rename to include/bliss/abstractgraph.hh diff --git a/headers/bliss/bignum.hh b/include/bliss/bignum.hh similarity index 100% rename from headers/bliss/bignum.hh rename to include/bliss/bignum.hh diff --git a/headers/bliss/bliss_C.h b/include/bliss/bliss_C.h similarity index 100% rename from headers/bliss/bliss_C.h rename to include/bliss/bliss_C.h diff --git a/headers/bliss/defs.hh b/include/bliss/defs.hh similarity index 100% rename from headers/bliss/defs.hh rename to include/bliss/defs.hh diff --git a/headers/bliss/digraph.hh b/include/bliss/digraph.hh similarity index 100% rename from headers/bliss/digraph.hh rename to include/bliss/digraph.hh diff --git a/headers/bliss/graph.hh b/include/bliss/graph.hh similarity index 100% rename from headers/bliss/graph.hh rename to include/bliss/graph.hh diff --git a/headers/bliss/heap.hh b/include/bliss/heap.hh similarity index 100% rename from headers/bliss/heap.hh rename to include/bliss/heap.hh diff --git a/headers/bliss/kqueue.hh b/include/bliss/kqueue.hh similarity index 100% rename from headers/bliss/kqueue.hh rename to include/bliss/kqueue.hh diff --git a/headers/bliss/kstack.hh b/include/bliss/kstack.hh similarity index 100% rename from headers/bliss/kstack.hh rename to include/bliss/kstack.hh diff --git a/headers/bliss/orbit.hh b/include/bliss/orbit.hh similarity index 100% rename from headers/bliss/orbit.hh rename to include/bliss/orbit.hh diff --git a/headers/bliss/partition.hh b/include/bliss/partition.hh similarity index 100% rename from headers/bliss/partition.hh rename to include/bliss/partition.hh diff --git a/headers/bliss/stats.hh b/include/bliss/stats.hh similarity index 100% rename from headers/bliss/stats.hh rename to include/bliss/stats.hh diff --git a/headers/bliss/timer.hh b/include/bliss/timer.hh similarity index 100% rename from headers/bliss/timer.hh rename to include/bliss/timer.hh diff --git a/headers/bliss/uintseqhash.hh b/include/bliss/uintseqhash.hh similarity index 100% rename from headers/bliss/uintseqhash.hh rename to include/bliss/uintseqhash.hh diff --git a/headers/bliss/utils.hh b/include/bliss/utils.hh similarity index 100% rename from headers/bliss/utils.hh rename to include/bliss/utils.hh diff --git a/headers/blockmemshell/memory.h b/include/blockmemshell/memory.h similarity index 100% rename from headers/blockmemshell/memory.h rename to include/blockmemshell/memory.h diff --git a/headers/dijkstra/dijkstra.h b/include/dijkstra/dijkstra.h similarity index 100% rename from headers/dijkstra/dijkstra.h rename to include/dijkstra/dijkstra.h diff --git a/headers/gcg/bliss_automorph.h b/include/gcg/bliss_automorph.h similarity index 100% rename from headers/gcg/bliss_automorph.h rename to include/gcg/bliss_automorph.h diff --git a/headers/gcg/bliss_automorph.hpp b/include/gcg/bliss_automorph.hpp similarity index 100% rename from headers/gcg/bliss_automorph.hpp rename to include/gcg/bliss_automorph.hpp diff --git a/headers/gcg/branch_bpstrong.h b/include/gcg/branch_bpstrong.h similarity index 100% rename from headers/gcg/branch_bpstrong.h rename to include/gcg/branch_bpstrong.h diff --git a/headers/gcg/branch_empty.h b/include/gcg/branch_empty.h similarity index 100% rename from headers/gcg/branch_empty.h rename to include/gcg/branch_empty.h diff --git a/headers/gcg/branch_generic.h b/include/gcg/branch_generic.h similarity index 100% rename from headers/gcg/branch_generic.h rename to include/gcg/branch_generic.h diff --git a/headers/gcg/branch_orig.h b/include/gcg/branch_orig.h similarity index 100% rename from headers/gcg/branch_orig.h rename to include/gcg/branch_orig.h diff --git a/headers/gcg/branch_relpsprob.h b/include/gcg/branch_relpsprob.h similarity index 100% rename from headers/gcg/branch_relpsprob.h rename to include/gcg/branch_relpsprob.h diff --git a/headers/gcg/branch_ryanfoster.h b/include/gcg/branch_ryanfoster.h similarity index 100% rename from headers/gcg/branch_ryanfoster.h rename to include/gcg/branch_ryanfoster.h diff --git a/headers/gcg/class_conspartition.h b/include/gcg/class_conspartition.h similarity index 100% rename from headers/gcg/class_conspartition.h rename to include/gcg/class_conspartition.h diff --git a/headers/gcg/class_detprobdata.h b/include/gcg/class_detprobdata.h similarity index 100% rename from headers/gcg/class_detprobdata.h rename to include/gcg/class_detprobdata.h diff --git a/headers/gcg/class_indexpartition.h b/include/gcg/class_indexpartition.h similarity index 100% rename from headers/gcg/class_indexpartition.h rename to include/gcg/class_indexpartition.h diff --git a/headers/gcg/class_partialdecomp.h b/include/gcg/class_partialdecomp.h similarity index 100% rename from headers/gcg/class_partialdecomp.h rename to include/gcg/class_partialdecomp.h diff --git a/headers/gcg/class_pricingcontroller.h b/include/gcg/class_pricingcontroller.h similarity index 100% rename from headers/gcg/class_pricingcontroller.h rename to include/gcg/class_pricingcontroller.h diff --git a/headers/gcg/class_pricingtype.h b/include/gcg/class_pricingtype.h similarity index 100% rename from headers/gcg/class_pricingtype.h rename to include/gcg/class_pricingtype.h diff --git a/headers/gcg/class_stabilization.h b/include/gcg/class_stabilization.h similarity index 100% rename from headers/gcg/class_stabilization.h rename to include/gcg/class_stabilization.h diff --git a/headers/gcg/class_varpartition.h b/include/gcg/class_varpartition.h similarity index 100% rename from headers/gcg/class_varpartition.h rename to include/gcg/class_varpartition.h diff --git a/headers/gcg/clscons_consnamelevenshtein.h b/include/gcg/clscons_consnamelevenshtein.h similarity index 100% rename from headers/gcg/clscons_consnamelevenshtein.h rename to include/gcg/clscons_consnamelevenshtein.h diff --git a/headers/gcg/clscons_consnamenonumbers.h b/include/gcg/clscons_consnamenonumbers.h similarity index 100% rename from headers/gcg/clscons_consnamenonumbers.h rename to include/gcg/clscons_consnamenonumbers.h diff --git a/headers/gcg/clscons_gamsdomain.h b/include/gcg/clscons_gamsdomain.h similarity index 100% rename from headers/gcg/clscons_gamsdomain.h rename to include/gcg/clscons_gamsdomain.h diff --git a/headers/gcg/clscons_gamssymbol.h b/include/gcg/clscons_gamssymbol.h similarity index 100% rename from headers/gcg/clscons_gamssymbol.h rename to include/gcg/clscons_gamssymbol.h diff --git a/headers/gcg/clscons_miplibconstypes.h b/include/gcg/clscons_miplibconstypes.h similarity index 100% rename from headers/gcg/clscons_miplibconstypes.h rename to include/gcg/clscons_miplibconstypes.h diff --git a/headers/gcg/clscons_nnonzeros.h b/include/gcg/clscons_nnonzeros.h similarity index 100% rename from headers/gcg/clscons_nnonzeros.h rename to include/gcg/clscons_nnonzeros.h diff --git a/headers/gcg/clscons_scipconstypes.h b/include/gcg/clscons_scipconstypes.h similarity index 100% rename from headers/gcg/clscons_scipconstypes.h rename to include/gcg/clscons_scipconstypes.h diff --git a/headers/gcg/clsvar_gamsdomain.h b/include/gcg/clsvar_gamsdomain.h similarity index 100% rename from headers/gcg/clsvar_gamsdomain.h rename to include/gcg/clsvar_gamsdomain.h diff --git a/headers/gcg/clsvar_gamssymbol.h b/include/gcg/clsvar_gamssymbol.h similarity index 100% rename from headers/gcg/clsvar_gamssymbol.h rename to include/gcg/clsvar_gamssymbol.h diff --git a/headers/gcg/clsvar_objvalues.h b/include/gcg/clsvar_objvalues.h similarity index 100% rename from headers/gcg/clsvar_objvalues.h rename to include/gcg/clsvar_objvalues.h diff --git a/headers/gcg/clsvar_objvaluesigns.h b/include/gcg/clsvar_objvaluesigns.h similarity index 100% rename from headers/gcg/clsvar_objvaluesigns.h rename to include/gcg/clsvar_objvaluesigns.h diff --git a/headers/gcg/clsvar_scipvartypes.h b/include/gcg/clsvar_scipvartypes.h similarity index 100% rename from headers/gcg/clsvar_scipvartypes.h rename to include/gcg/clsvar_scipvartypes.h diff --git a/headers/gcg/colpool.h b/include/gcg/colpool.h similarity index 100% rename from headers/gcg/colpool.h rename to include/gcg/colpool.h diff --git a/headers/gcg/cons_decomp.h b/include/gcg/cons_decomp.h similarity index 100% rename from headers/gcg/cons_decomp.h rename to include/gcg/cons_decomp.h diff --git a/headers/gcg/cons_decomp.hpp b/include/gcg/cons_decomp.hpp similarity index 100% rename from headers/gcg/cons_decomp.hpp rename to include/gcg/cons_decomp.hpp diff --git a/headers/gcg/cons_integralorig.h b/include/gcg/cons_integralorig.h similarity index 100% rename from headers/gcg/cons_integralorig.h rename to include/gcg/cons_integralorig.h diff --git a/headers/gcg/cons_masterbranch.h b/include/gcg/cons_masterbranch.h similarity index 100% rename from headers/gcg/cons_masterbranch.h rename to include/gcg/cons_masterbranch.h diff --git a/headers/gcg/cons_origbranch.h b/include/gcg/cons_origbranch.h similarity index 100% rename from headers/gcg/cons_origbranch.h rename to include/gcg/cons_origbranch.h diff --git a/headers/gcg/dec_compgreedily.h b/include/gcg/dec_compgreedily.h similarity index 100% rename from headers/gcg/dec_compgreedily.h rename to include/gcg/dec_compgreedily.h diff --git a/headers/gcg/dec_connected_noNewLinkingVars.h b/include/gcg/dec_connected_noNewLinkingVars.h similarity index 100% rename from headers/gcg/dec_connected_noNewLinkingVars.h rename to include/gcg/dec_connected_noNewLinkingVars.h diff --git a/headers/gcg/dec_connectedbase.h b/include/gcg/dec_connectedbase.h similarity index 100% rename from headers/gcg/dec_connectedbase.h rename to include/gcg/dec_connectedbase.h diff --git a/headers/gcg/dec_consclass.h b/include/gcg/dec_consclass.h similarity index 100% rename from headers/gcg/dec_consclass.h rename to include/gcg/dec_consclass.h diff --git a/headers/gcg/dec_constype.h b/include/gcg/dec_constype.h similarity index 100% rename from headers/gcg/dec_constype.h rename to include/gcg/dec_constype.h diff --git a/headers/gcg/dec_dbscan.h b/include/gcg/dec_dbscan.h similarity index 100% rename from headers/gcg/dec_dbscan.h rename to include/gcg/dec_dbscan.h diff --git a/headers/gcg/dec_densemasterconss.h b/include/gcg/dec_densemasterconss.h similarity index 100% rename from headers/gcg/dec_densemasterconss.h rename to include/gcg/dec_densemasterconss.h diff --git a/headers/gcg/dec_generalmastersetcover.h b/include/gcg/dec_generalmastersetcover.h similarity index 100% rename from headers/gcg/dec_generalmastersetcover.h rename to include/gcg/dec_generalmastersetcover.h diff --git a/headers/gcg/dec_generalmastersetpack.h b/include/gcg/dec_generalmastersetpack.h similarity index 100% rename from headers/gcg/dec_generalmastersetpack.h rename to include/gcg/dec_generalmastersetpack.h diff --git a/headers/gcg/dec_generalmastersetpart.h b/include/gcg/dec_generalmastersetpart.h similarity index 100% rename from headers/gcg/dec_generalmastersetpart.h rename to include/gcg/dec_generalmastersetpart.h diff --git a/headers/gcg/dec_hcgpartition.h b/include/gcg/dec_hcgpartition.h similarity index 100% rename from headers/gcg/dec_hcgpartition.h rename to include/gcg/dec_hcgpartition.h diff --git a/headers/gcg/dec_hrcgpartition.h b/include/gcg/dec_hrcgpartition.h similarity index 100% rename from headers/gcg/dec_hrcgpartition.h rename to include/gcg/dec_hrcgpartition.h diff --git a/headers/gcg/dec_hrgpartition.h b/include/gcg/dec_hrgpartition.h similarity index 100% rename from headers/gcg/dec_hrgpartition.h rename to include/gcg/dec_hrgpartition.h diff --git a/headers/gcg/dec_isomorph.h b/include/gcg/dec_isomorph.h similarity index 100% rename from headers/gcg/dec_isomorph.h rename to include/gcg/dec_isomorph.h diff --git a/headers/gcg/dec_mastersetcover.h b/include/gcg/dec_mastersetcover.h similarity index 100% rename from headers/gcg/dec_mastersetcover.h rename to include/gcg/dec_mastersetcover.h diff --git a/headers/gcg/dec_mastersetpack.h b/include/gcg/dec_mastersetpack.h similarity index 100% rename from headers/gcg/dec_mastersetpack.h rename to include/gcg/dec_mastersetpack.h diff --git a/headers/gcg/dec_mastersetpart.h b/include/gcg/dec_mastersetpart.h similarity index 100% rename from headers/gcg/dec_mastersetpart.h rename to include/gcg/dec_mastersetpart.h diff --git a/headers/gcg/dec_mst.h b/include/gcg/dec_mst.h similarity index 100% rename from headers/gcg/dec_mst.h rename to include/gcg/dec_mst.h diff --git a/headers/gcg/dec_neighborhoodmaster.h b/include/gcg/dec_neighborhoodmaster.h similarity index 100% rename from headers/gcg/dec_neighborhoodmaster.h rename to include/gcg/dec_neighborhoodmaster.h diff --git a/headers/gcg/dec_postprocess.h b/include/gcg/dec_postprocess.h similarity index 100% rename from headers/gcg/dec_postprocess.h rename to include/gcg/dec_postprocess.h diff --git a/headers/gcg/dec_staircase_lsp.h b/include/gcg/dec_staircase_lsp.h similarity index 100% rename from headers/gcg/dec_staircase_lsp.h rename to include/gcg/dec_staircase_lsp.h diff --git a/headers/gcg/dec_stairheur.h b/include/gcg/dec_stairheur.h similarity index 100% rename from headers/gcg/dec_stairheur.h rename to include/gcg/dec_stairheur.h diff --git a/headers/gcg/dec_varclass.h b/include/gcg/dec_varclass.h similarity index 100% rename from headers/gcg/dec_varclass.h rename to include/gcg/dec_varclass.h diff --git a/headers/gcg/decomp.h b/include/gcg/decomp.h similarity index 100% rename from headers/gcg/decomp.h rename to include/gcg/decomp.h diff --git a/headers/gcg/def.h b/include/gcg/def.h similarity index 100% rename from headers/gcg/def.h rename to include/gcg/def.h diff --git a/headers/gcg/dialog_gcg.h b/include/gcg/dialog_gcg.h similarity index 100% rename from headers/gcg/dialog_gcg.h rename to include/gcg/dialog_gcg.h diff --git a/headers/gcg/dialog_graph.h b/include/gcg/dialog_graph.h similarity index 100% rename from headers/gcg/dialog_graph.h rename to include/gcg/dialog_graph.h diff --git a/headers/gcg/dialog_master.h b/include/gcg/dialog_master.h similarity index 100% rename from headers/gcg/dialog_master.h rename to include/gcg/dialog_master.h diff --git a/headers/gcg/disp_gcg.h b/include/gcg/disp_gcg.h similarity index 100% rename from headers/gcg/disp_gcg.h rename to include/gcg/disp_gcg.h diff --git a/headers/gcg/disp_master.h b/include/gcg/disp_master.h similarity index 100% rename from headers/gcg/disp_master.h rename to include/gcg/disp_master.h diff --git a/headers/gcg/event_bestsol.h b/include/gcg/event_bestsol.h similarity index 100% rename from headers/gcg/event_bestsol.h rename to include/gcg/event_bestsol.h diff --git a/headers/gcg/event_display.h b/include/gcg/event_display.h similarity index 100% rename from headers/gcg/event_display.h rename to include/gcg/event_display.h diff --git a/headers/gcg/event_mastersol.h b/include/gcg/event_mastersol.h similarity index 100% rename from headers/gcg/event_mastersol.h rename to include/gcg/event_mastersol.h diff --git a/headers/gcg/event_relaxsol.h b/include/gcg/event_relaxsol.h similarity index 100% rename from headers/gcg/event_relaxsol.h rename to include/gcg/event_relaxsol.h diff --git a/headers/gcg/event_solvingstats.h b/include/gcg/event_solvingstats.h similarity index 100% rename from headers/gcg/event_solvingstats.h rename to include/gcg/event_solvingstats.h diff --git a/headers/gcg/gcg.h b/include/gcg/gcg.h similarity index 100% rename from headers/gcg/gcg.h rename to include/gcg/gcg.h diff --git a/headers/gcg/gcg_general.h b/include/gcg/gcg_general.h similarity index 100% rename from headers/gcg/gcg_general.h rename to include/gcg/gcg_general.h diff --git a/headers/gcg/gcgcol.h b/include/gcg/gcgcol.h similarity index 100% rename from headers/gcg/gcgcol.h rename to include/gcg/gcgcol.h diff --git a/headers/gcg/gcggithash.h b/include/gcg/gcggithash.h similarity index 100% rename from headers/gcg/gcggithash.h rename to include/gcg/gcggithash.h diff --git a/headers/gcg/gcgplugins.h b/include/gcg/gcgplugins.h similarity index 100% rename from headers/gcg/gcgplugins.h rename to include/gcg/gcgplugins.h diff --git a/headers/gcg/gcgpqueue.h b/include/gcg/gcgpqueue.h similarity index 100% rename from headers/gcg/gcgpqueue.h rename to include/gcg/gcgpqueue.h diff --git a/headers/gcg/gcgsort.h b/include/gcg/gcgsort.h similarity index 100% rename from headers/gcg/gcgsort.h rename to include/gcg/gcgsort.h diff --git a/headers/gcg/graph/bipartitegraph.h b/include/gcg/graph/bipartitegraph.h similarity index 100% rename from headers/gcg/graph/bipartitegraph.h rename to include/gcg/graph/bipartitegraph.h diff --git a/headers/gcg/graph/bipartitegraph_def.h b/include/gcg/graph/bipartitegraph_def.h similarity index 100% rename from headers/gcg/graph/bipartitegraph_def.h rename to include/gcg/graph/bipartitegraph_def.h diff --git a/headers/gcg/graph/bridge.h b/include/gcg/graph/bridge.h similarity index 100% rename from headers/gcg/graph/bridge.h rename to include/gcg/graph/bridge.h diff --git a/headers/gcg/graph/columngraph.h b/include/gcg/graph/columngraph.h similarity index 100% rename from headers/gcg/graph/columngraph.h rename to include/gcg/graph/columngraph.h diff --git a/headers/gcg/graph/columngraph_def.h b/include/gcg/graph/columngraph_def.h similarity index 100% rename from headers/gcg/graph/columngraph_def.h rename to include/gcg/graph/columngraph_def.h diff --git a/headers/gcg/graph/graph.h b/include/gcg/graph/graph.h similarity index 100% rename from headers/gcg/graph/graph.h rename to include/gcg/graph/graph.h diff --git a/headers/gcg/graph/graph_def.h b/include/gcg/graph/graph_def.h similarity index 100% rename from headers/gcg/graph/graph_def.h rename to include/gcg/graph/graph_def.h diff --git a/headers/gcg/graph/graph_gcg.h b/include/gcg/graph/graph_gcg.h similarity index 100% rename from headers/gcg/graph/graph_gcg.h rename to include/gcg/graph/graph_gcg.h diff --git a/headers/gcg/graph/graph_interface.h b/include/gcg/graph/graph_interface.h similarity index 100% rename from headers/gcg/graph/graph_interface.h rename to include/gcg/graph/graph_interface.h diff --git a/headers/gcg/graph/graph_tclique.h b/include/gcg/graph/graph_tclique.h similarity index 100% rename from headers/gcg/graph/graph_tclique.h rename to include/gcg/graph/graph_tclique.h diff --git a/headers/gcg/graph/graphalgorithms.h b/include/gcg/graph/graphalgorithms.h similarity index 100% rename from headers/gcg/graph/graphalgorithms.h rename to include/gcg/graph/graphalgorithms.h diff --git a/headers/gcg/graph/graphalgorithms_def.h b/include/gcg/graph/graphalgorithms_def.h similarity index 100% rename from headers/gcg/graph/graphalgorithms_def.h rename to include/gcg/graph/graphalgorithms_def.h diff --git a/headers/gcg/graph/hypercolgraph.h b/include/gcg/graph/hypercolgraph.h similarity index 100% rename from headers/gcg/graph/hypercolgraph.h rename to include/gcg/graph/hypercolgraph.h diff --git a/headers/gcg/graph/hypercolgraph_def.h b/include/gcg/graph/hypercolgraph_def.h similarity index 100% rename from headers/gcg/graph/hypercolgraph_def.h rename to include/gcg/graph/hypercolgraph_def.h diff --git a/headers/gcg/graph/hypergraph.h b/include/gcg/graph/hypergraph.h similarity index 100% rename from headers/gcg/graph/hypergraph.h rename to include/gcg/graph/hypergraph.h diff --git a/headers/gcg/graph/hypergraph_def.h b/include/gcg/graph/hypergraph_def.h similarity index 100% rename from headers/gcg/graph/hypergraph_def.h rename to include/gcg/graph/hypergraph_def.h diff --git a/headers/gcg/graph/hyperrowcolgraph.h b/include/gcg/graph/hyperrowcolgraph.h similarity index 100% rename from headers/gcg/graph/hyperrowcolgraph.h rename to include/gcg/graph/hyperrowcolgraph.h diff --git a/headers/gcg/graph/hyperrowcolgraph_def.h b/include/gcg/graph/hyperrowcolgraph_def.h similarity index 100% rename from headers/gcg/graph/hyperrowcolgraph_def.h rename to include/gcg/graph/hyperrowcolgraph_def.h diff --git a/headers/gcg/graph/hyperrowgraph.h b/include/gcg/graph/hyperrowgraph.h similarity index 100% rename from headers/gcg/graph/hyperrowgraph.h rename to include/gcg/graph/hyperrowgraph.h diff --git a/headers/gcg/graph/hyperrowgraph_def.h b/include/gcg/graph/hyperrowgraph_def.h similarity index 100% rename from headers/gcg/graph/hyperrowgraph_def.h rename to include/gcg/graph/hyperrowgraph_def.h diff --git a/headers/gcg/graph/matrixgraph.h b/include/gcg/graph/matrixgraph.h similarity index 100% rename from headers/gcg/graph/matrixgraph.h rename to include/gcg/graph/matrixgraph.h diff --git a/headers/gcg/graph/matrixgraph_def.h b/include/gcg/graph/matrixgraph_def.h similarity index 100% rename from headers/gcg/graph/matrixgraph_def.h rename to include/gcg/graph/matrixgraph_def.h diff --git a/headers/gcg/graph/rowgraph.h b/include/gcg/graph/rowgraph.h similarity index 100% rename from headers/gcg/graph/rowgraph.h rename to include/gcg/graph/rowgraph.h diff --git a/headers/gcg/graph/rowgraph_def.h b/include/gcg/graph/rowgraph_def.h similarity index 100% rename from headers/gcg/graph/rowgraph_def.h rename to include/gcg/graph/rowgraph_def.h diff --git a/headers/gcg/graph/weights.h b/include/gcg/graph/weights.h similarity index 100% rename from headers/gcg/graph/weights.h rename to include/gcg/graph/weights.h diff --git a/headers/gcg/heur_gcgcoefdiving.h b/include/gcg/heur_gcgcoefdiving.h similarity index 100% rename from headers/gcg/heur_gcgcoefdiving.h rename to include/gcg/heur_gcgcoefdiving.h diff --git a/headers/gcg/heur_gcgdins.h b/include/gcg/heur_gcgdins.h similarity index 100% rename from headers/gcg/heur_gcgdins.h rename to include/gcg/heur_gcgdins.h diff --git a/headers/gcg/heur_gcgfeaspump.h b/include/gcg/heur_gcgfeaspump.h similarity index 100% rename from headers/gcg/heur_gcgfeaspump.h rename to include/gcg/heur_gcgfeaspump.h diff --git a/headers/gcg/heur_gcgfracdiving.h b/include/gcg/heur_gcgfracdiving.h similarity index 100% rename from headers/gcg/heur_gcgfracdiving.h rename to include/gcg/heur_gcgfracdiving.h diff --git a/headers/gcg/heur_gcgguideddiving.h b/include/gcg/heur_gcgguideddiving.h similarity index 100% rename from headers/gcg/heur_gcgguideddiving.h rename to include/gcg/heur_gcgguideddiving.h diff --git a/headers/gcg/heur_gcglinesdiving.h b/include/gcg/heur_gcglinesdiving.h similarity index 100% rename from headers/gcg/heur_gcglinesdiving.h rename to include/gcg/heur_gcglinesdiving.h diff --git a/headers/gcg/heur_gcgpscostdiving.h b/include/gcg/heur_gcgpscostdiving.h similarity index 100% rename from headers/gcg/heur_gcgpscostdiving.h rename to include/gcg/heur_gcgpscostdiving.h diff --git a/headers/gcg/heur_gcgrens.h b/include/gcg/heur_gcgrens.h similarity index 100% rename from headers/gcg/heur_gcgrens.h rename to include/gcg/heur_gcgrens.h diff --git a/headers/gcg/heur_gcgrins.h b/include/gcg/heur_gcgrins.h similarity index 100% rename from headers/gcg/heur_gcgrins.h rename to include/gcg/heur_gcgrins.h diff --git a/headers/gcg/heur_gcgrounding.h b/include/gcg/heur_gcgrounding.h similarity index 100% rename from headers/gcg/heur_gcgrounding.h rename to include/gcg/heur_gcgrounding.h diff --git a/headers/gcg/heur_gcgshifting.h b/include/gcg/heur_gcgshifting.h similarity index 100% rename from headers/gcg/heur_gcgshifting.h rename to include/gcg/heur_gcgshifting.h diff --git a/headers/gcg/heur_gcgsimplerounding.h b/include/gcg/heur_gcgsimplerounding.h similarity index 100% rename from headers/gcg/heur_gcgsimplerounding.h rename to include/gcg/heur_gcgsimplerounding.h diff --git a/headers/gcg/heur_gcgveclendiving.h b/include/gcg/heur_gcgveclendiving.h similarity index 100% rename from headers/gcg/heur_gcgveclendiving.h rename to include/gcg/heur_gcgveclendiving.h diff --git a/headers/gcg/heur_gcgzirounding.h b/include/gcg/heur_gcgzirounding.h similarity index 100% rename from headers/gcg/heur_gcgzirounding.h rename to include/gcg/heur_gcgzirounding.h diff --git a/headers/gcg/heur_greedycolsel.h b/include/gcg/heur_greedycolsel.h similarity index 100% rename from headers/gcg/heur_greedycolsel.h rename to include/gcg/heur_greedycolsel.h diff --git a/headers/gcg/heur_mastercoefdiving.h b/include/gcg/heur_mastercoefdiving.h similarity index 100% rename from headers/gcg/heur_mastercoefdiving.h rename to include/gcg/heur_mastercoefdiving.h diff --git a/headers/gcg/heur_masterdiving.h b/include/gcg/heur_masterdiving.h similarity index 100% rename from headers/gcg/heur_masterdiving.h rename to include/gcg/heur_masterdiving.h diff --git a/headers/gcg/heur_masterfracdiving.h b/include/gcg/heur_masterfracdiving.h similarity index 100% rename from headers/gcg/heur_masterfracdiving.h rename to include/gcg/heur_masterfracdiving.h diff --git a/headers/gcg/heur_masterlinesdiving.h b/include/gcg/heur_masterlinesdiving.h similarity index 100% rename from headers/gcg/heur_masterlinesdiving.h rename to include/gcg/heur_masterlinesdiving.h diff --git a/headers/gcg/heur_mastervecldiving.h b/include/gcg/heur_mastervecldiving.h similarity index 100% rename from headers/gcg/heur_mastervecldiving.h rename to include/gcg/heur_mastervecldiving.h diff --git a/headers/gcg/heur_origdiving.h b/include/gcg/heur_origdiving.h similarity index 100% rename from headers/gcg/heur_origdiving.h rename to include/gcg/heur_origdiving.h diff --git a/headers/gcg/heur_relaxcolsel.h b/include/gcg/heur_relaxcolsel.h similarity index 100% rename from headers/gcg/heur_relaxcolsel.h rename to include/gcg/heur_relaxcolsel.h diff --git a/headers/gcg/heur_restmaster.h b/include/gcg/heur_restmaster.h similarity index 100% rename from headers/gcg/heur_restmaster.h rename to include/gcg/heur_restmaster.h diff --git a/headers/gcg/heur_setcover.h b/include/gcg/heur_setcover.h similarity index 100% rename from headers/gcg/heur_setcover.h rename to include/gcg/heur_setcover.h diff --git a/headers/gcg/heur_xpcrossover.h b/include/gcg/heur_xpcrossover.h similarity index 100% rename from headers/gcg/heur_xpcrossover.h rename to include/gcg/heur_xpcrossover.h diff --git a/headers/gcg/heur_xprins.h b/include/gcg/heur_xprins.h similarity index 100% rename from headers/gcg/heur_xprins.h rename to include/gcg/heur_xprins.h diff --git a/headers/gcg/masterplugins.h b/include/gcg/masterplugins.h similarity index 100% rename from headers/gcg/masterplugins.h rename to include/gcg/masterplugins.h diff --git a/headers/gcg/miscvisualization.h b/include/gcg/miscvisualization.h similarity index 100% rename from headers/gcg/miscvisualization.h rename to include/gcg/miscvisualization.h diff --git a/headers/gcg/nodesel_master.h b/include/gcg/nodesel_master.h similarity index 100% rename from headers/gcg/nodesel_master.h rename to include/gcg/nodesel_master.h diff --git a/headers/gcg/objdialog.h b/include/gcg/objdialog.h similarity index 100% rename from headers/gcg/objdialog.h rename to include/gcg/objdialog.h diff --git a/headers/gcg/objpricer_gcg.h b/include/gcg/objpricer_gcg.h similarity index 100% rename from headers/gcg/objpricer_gcg.h rename to include/gcg/objpricer_gcg.h diff --git a/headers/gcg/params_visu.h b/include/gcg/params_visu.h similarity index 100% rename from headers/gcg/params_visu.h rename to include/gcg/params_visu.h diff --git a/headers/gcg/presol_roundbound.h b/include/gcg/presol_roundbound.h similarity index 100% rename from headers/gcg/presol_roundbound.h rename to include/gcg/presol_roundbound.h diff --git a/headers/gcg/pricer_gcg.h b/include/gcg/pricer_gcg.h similarity index 100% rename from headers/gcg/pricer_gcg.h rename to include/gcg/pricer_gcg.h diff --git a/headers/gcg/pricestore_gcg.h b/include/gcg/pricestore_gcg.h similarity index 100% rename from headers/gcg/pricestore_gcg.h rename to include/gcg/pricestore_gcg.h diff --git a/headers/gcg/pricingjob.h b/include/gcg/pricingjob.h similarity index 100% rename from headers/gcg/pricingjob.h rename to include/gcg/pricingjob.h diff --git a/headers/gcg/pricingprob.h b/include/gcg/pricingprob.h similarity index 100% rename from headers/gcg/pricingprob.h rename to include/gcg/pricingprob.h diff --git a/headers/gcg/pub_bliss.h b/include/gcg/pub_bliss.h similarity index 100% rename from headers/gcg/pub_bliss.h rename to include/gcg/pub_bliss.h diff --git a/headers/gcg/pub_colpool.h b/include/gcg/pub_colpool.h similarity index 100% rename from headers/gcg/pub_colpool.h rename to include/gcg/pub_colpool.h diff --git a/headers/gcg/pub_decomp.h b/include/gcg/pub_decomp.h similarity index 100% rename from headers/gcg/pub_decomp.h rename to include/gcg/pub_decomp.h diff --git a/headers/gcg/pub_gcgcol.h b/include/gcg/pub_gcgcol.h similarity index 100% rename from headers/gcg/pub_gcgcol.h rename to include/gcg/pub_gcgcol.h diff --git a/headers/gcg/pub_gcgheur.h b/include/gcg/pub_gcgheur.h similarity index 100% rename from headers/gcg/pub_gcgheur.h rename to include/gcg/pub_gcgheur.h diff --git a/headers/gcg/pub_gcgpqueue.h b/include/gcg/pub_gcgpqueue.h similarity index 100% rename from headers/gcg/pub_gcgpqueue.h rename to include/gcg/pub_gcgpqueue.h diff --git a/headers/gcg/pub_gcgsepa.h b/include/gcg/pub_gcgsepa.h similarity index 100% rename from headers/gcg/pub_gcgsepa.h rename to include/gcg/pub_gcgsepa.h diff --git a/headers/gcg/pub_gcgvar.h b/include/gcg/pub_gcgvar.h similarity index 100% rename from headers/gcg/pub_gcgvar.h rename to include/gcg/pub_gcgvar.h diff --git a/headers/gcg/pub_pricingjob.h b/include/gcg/pub_pricingjob.h similarity index 100% rename from headers/gcg/pub_pricingjob.h rename to include/gcg/pub_pricingjob.h diff --git a/headers/gcg/pub_pricingprob.h b/include/gcg/pub_pricingprob.h similarity index 100% rename from headers/gcg/pub_pricingprob.h rename to include/gcg/pub_pricingprob.h diff --git a/headers/gcg/pub_solver.h b/include/gcg/pub_solver.h similarity index 100% rename from headers/gcg/pub_solver.h rename to include/gcg/pub_solver.h diff --git a/headers/gcg/reader_blk.h b/include/gcg/reader_blk.h similarity index 100% rename from headers/gcg/reader_blk.h rename to include/gcg/reader_blk.h diff --git a/headers/gcg/reader_cls.h b/include/gcg/reader_cls.h similarity index 100% rename from headers/gcg/reader_cls.h rename to include/gcg/reader_cls.h diff --git a/headers/gcg/reader_dec.h b/include/gcg/reader_dec.h similarity index 100% rename from headers/gcg/reader_dec.h rename to include/gcg/reader_dec.h diff --git a/headers/gcg/reader_gp.h b/include/gcg/reader_gp.h similarity index 100% rename from headers/gcg/reader_gp.h rename to include/gcg/reader_gp.h diff --git a/headers/gcg/reader_ref.h b/include/gcg/reader_ref.h similarity index 100% rename from headers/gcg/reader_ref.h rename to include/gcg/reader_ref.h diff --git a/headers/gcg/reader_tex.h b/include/gcg/reader_tex.h similarity index 100% rename from headers/gcg/reader_tex.h rename to include/gcg/reader_tex.h diff --git a/headers/gcg/relax_gcg.h b/include/gcg/relax_gcg.h similarity index 100% rename from headers/gcg/relax_gcg.h rename to include/gcg/relax_gcg.h diff --git a/headers/gcg/scip_misc.h b/include/gcg/scip_misc.h similarity index 100% rename from headers/gcg/scip_misc.h rename to include/gcg/scip_misc.h diff --git a/headers/gcg/scoretype.h b/include/gcg/scoretype.h similarity index 100% rename from headers/gcg/scoretype.h rename to include/gcg/scoretype.h diff --git a/headers/gcg/sepa_basis.h b/include/gcg/sepa_basis.h similarity index 100% rename from headers/gcg/sepa_basis.h rename to include/gcg/sepa_basis.h diff --git a/headers/gcg/sepa_master.h b/include/gcg/sepa_master.h similarity index 100% rename from headers/gcg/sepa_master.h rename to include/gcg/sepa_master.h diff --git a/headers/gcg/solver.h b/include/gcg/solver.h similarity index 100% rename from headers/gcg/solver.h rename to include/gcg/solver.h diff --git a/headers/gcg/solver_cliquer.h b/include/gcg/solver_cliquer.h similarity index 100% rename from headers/gcg/solver_cliquer.h rename to include/gcg/solver_cliquer.h diff --git a/headers/gcg/solver_knapsack.h b/include/gcg/solver_knapsack.h similarity index 100% rename from headers/gcg/solver_knapsack.h rename to include/gcg/solver_knapsack.h diff --git a/headers/gcg/solver_mip.h b/include/gcg/solver_mip.h similarity index 100% rename from headers/gcg/solver_mip.h rename to include/gcg/solver_mip.h diff --git a/headers/gcg/solver_xyz.h b/include/gcg/solver_xyz.h similarity index 100% rename from headers/gcg/solver_xyz.h rename to include/gcg/solver_xyz.h diff --git a/headers/gcg/stat.h b/include/gcg/stat.h similarity index 100% rename from headers/gcg/stat.h rename to include/gcg/stat.h diff --git a/headers/gcg/struct_branchgcg.h b/include/gcg/struct_branchgcg.h similarity index 100% rename from headers/gcg/struct_branchgcg.h rename to include/gcg/struct_branchgcg.h diff --git a/headers/gcg/struct_colpool.h b/include/gcg/struct_colpool.h similarity index 100% rename from headers/gcg/struct_colpool.h rename to include/gcg/struct_colpool.h diff --git a/headers/gcg/struct_decomp.h b/include/gcg/struct_decomp.h similarity index 100% rename from headers/gcg/struct_decomp.h rename to include/gcg/struct_decomp.h diff --git a/headers/gcg/struct_detector.h b/include/gcg/struct_detector.h similarity index 100% rename from headers/gcg/struct_detector.h rename to include/gcg/struct_detector.h diff --git a/headers/gcg/struct_gcgcol.h b/include/gcg/struct_gcgcol.h similarity index 100% rename from headers/gcg/struct_gcgcol.h rename to include/gcg/struct_gcgcol.h diff --git a/headers/gcg/struct_gcgpqueue.h b/include/gcg/struct_gcgpqueue.h similarity index 100% rename from headers/gcg/struct_gcgpqueue.h rename to include/gcg/struct_gcgpqueue.h diff --git a/headers/gcg/struct_pricestore_gcg.h b/include/gcg/struct_pricestore_gcg.h similarity index 100% rename from headers/gcg/struct_pricestore_gcg.h rename to include/gcg/struct_pricestore_gcg.h diff --git a/headers/gcg/struct_pricingjob.h b/include/gcg/struct_pricingjob.h similarity index 100% rename from headers/gcg/struct_pricingjob.h rename to include/gcg/struct_pricingjob.h diff --git a/headers/gcg/struct_pricingprob.h b/include/gcg/struct_pricingprob.h similarity index 100% rename from headers/gcg/struct_pricingprob.h rename to include/gcg/struct_pricingprob.h diff --git a/headers/gcg/struct_solver.h b/include/gcg/struct_solver.h similarity index 100% rename from headers/gcg/struct_solver.h rename to include/gcg/struct_solver.h diff --git a/headers/gcg/struct_vardata.h b/include/gcg/struct_vardata.h similarity index 100% rename from headers/gcg/struct_vardata.h rename to include/gcg/struct_vardata.h diff --git a/headers/gcg/type_branchgcg.h b/include/gcg/type_branchgcg.h similarity index 100% rename from headers/gcg/type_branchgcg.h rename to include/gcg/type_branchgcg.h diff --git a/headers/gcg/type_classifier.h b/include/gcg/type_classifier.h similarity index 100% rename from headers/gcg/type_classifier.h rename to include/gcg/type_classifier.h diff --git a/headers/gcg/type_colpool.h b/include/gcg/type_colpool.h similarity index 100% rename from headers/gcg/type_colpool.h rename to include/gcg/type_colpool.h diff --git a/headers/gcg/type_consclassifier.h b/include/gcg/type_consclassifier.h similarity index 100% rename from headers/gcg/type_consclassifier.h rename to include/gcg/type_consclassifier.h diff --git a/headers/gcg/type_decomp.h b/include/gcg/type_decomp.h similarity index 100% rename from headers/gcg/type_decomp.h rename to include/gcg/type_decomp.h diff --git a/headers/gcg/type_detector.h b/include/gcg/type_detector.h similarity index 100% rename from headers/gcg/type_detector.h rename to include/gcg/type_detector.h diff --git a/headers/gcg/type_gcgcol.h b/include/gcg/type_gcgcol.h similarity index 100% rename from headers/gcg/type_gcgcol.h rename to include/gcg/type_gcgcol.h diff --git a/headers/gcg/type_gcgpqueue.h b/include/gcg/type_gcgpqueue.h similarity index 100% rename from headers/gcg/type_gcgpqueue.h rename to include/gcg/type_gcgpqueue.h diff --git a/headers/gcg/type_masterdiving.h b/include/gcg/type_masterdiving.h similarity index 100% rename from headers/gcg/type_masterdiving.h rename to include/gcg/type_masterdiving.h diff --git a/headers/gcg/type_origdiving.h b/include/gcg/type_origdiving.h similarity index 100% rename from headers/gcg/type_origdiving.h rename to include/gcg/type_origdiving.h diff --git a/headers/gcg/type_parameter.h b/include/gcg/type_parameter.h similarity index 100% rename from headers/gcg/type_parameter.h rename to include/gcg/type_parameter.h diff --git a/headers/gcg/type_pricestore_gcg.h b/include/gcg/type_pricestore_gcg.h similarity index 100% rename from headers/gcg/type_pricestore_gcg.h rename to include/gcg/type_pricestore_gcg.h diff --git a/headers/gcg/type_pricingjob.h b/include/gcg/type_pricingjob.h similarity index 100% rename from headers/gcg/type_pricingjob.h rename to include/gcg/type_pricingjob.h diff --git a/headers/gcg/type_pricingprob.h b/include/gcg/type_pricingprob.h similarity index 100% rename from headers/gcg/type_pricingprob.h rename to include/gcg/type_pricingprob.h diff --git a/headers/gcg/type_pricingstatus.h b/include/gcg/type_pricingstatus.h similarity index 100% rename from headers/gcg/type_pricingstatus.h rename to include/gcg/type_pricingstatus.h diff --git a/headers/gcg/type_scoretype.h b/include/gcg/type_scoretype.h similarity index 100% rename from headers/gcg/type_scoretype.h rename to include/gcg/type_scoretype.h diff --git a/headers/gcg/type_solver.h b/include/gcg/type_solver.h similarity index 100% rename from headers/gcg/type_solver.h rename to include/gcg/type_solver.h diff --git a/headers/gcg/type_varclassifier.h b/include/gcg/type_varclassifier.h similarity index 100% rename from headers/gcg/type_varclassifier.h rename to include/gcg/type_varclassifier.h diff --git a/headers/gcg/wrapper_partialdecomp.h b/include/gcg/wrapper_partialdecomp.h similarity index 100% rename from headers/gcg/wrapper_partialdecomp.h rename to include/gcg/wrapper_partialdecomp.h diff --git a/headers/lpi/lpi.h b/include/lpi/lpi.h similarity index 100% rename from headers/lpi/lpi.h rename to include/lpi/lpi.h diff --git a/headers/lpi/type_lpi.h b/include/lpi/type_lpi.h similarity index 100% rename from headers/lpi/type_lpi.h rename to include/lpi/type_lpi.h diff --git a/headers/objscip/objbenders.h b/include/objscip/objbenders.h similarity index 100% rename from headers/objscip/objbenders.h rename to include/objscip/objbenders.h diff --git a/headers/objscip/objbenderscut.h b/include/objscip/objbenderscut.h similarity index 100% rename from headers/objscip/objbenderscut.h rename to include/objscip/objbenderscut.h diff --git a/headers/objscip/objbranchrule.h b/include/objscip/objbranchrule.h similarity index 100% rename from headers/objscip/objbranchrule.h rename to include/objscip/objbranchrule.h diff --git a/headers/objscip/objcloneable.h b/include/objscip/objcloneable.h similarity index 100% rename from headers/objscip/objcloneable.h rename to include/objscip/objcloneable.h diff --git a/headers/objscip/objconshdlr.h b/include/objscip/objconshdlr.h similarity index 100% rename from headers/objscip/objconshdlr.h rename to include/objscip/objconshdlr.h diff --git a/headers/objscip/objcutsel.h b/include/objscip/objcutsel.h similarity index 100% rename from headers/objscip/objcutsel.h rename to include/objscip/objcutsel.h diff --git a/headers/objscip/objdialog.h b/include/objscip/objdialog.h similarity index 100% rename from headers/objscip/objdialog.h rename to include/objscip/objdialog.h diff --git a/headers/objscip/objdisp.h b/include/objscip/objdisp.h similarity index 100% rename from headers/objscip/objdisp.h rename to include/objscip/objdisp.h diff --git a/headers/objscip/objeventhdlr.h b/include/objscip/objeventhdlr.h similarity index 100% rename from headers/objscip/objeventhdlr.h rename to include/objscip/objeventhdlr.h diff --git a/headers/objscip/objheur.h b/include/objscip/objheur.h similarity index 100% rename from headers/objscip/objheur.h rename to include/objscip/objheur.h diff --git a/headers/objscip/objmessagehdlr.h b/include/objscip/objmessagehdlr.h similarity index 100% rename from headers/objscip/objmessagehdlr.h rename to include/objscip/objmessagehdlr.h diff --git a/headers/objscip/objnodesel.h b/include/objscip/objnodesel.h similarity index 100% rename from headers/objscip/objnodesel.h rename to include/objscip/objnodesel.h diff --git a/headers/objscip/objpresol.h b/include/objscip/objpresol.h similarity index 100% rename from headers/objscip/objpresol.h rename to include/objscip/objpresol.h diff --git a/headers/objscip/objpricer.h b/include/objscip/objpricer.h similarity index 100% rename from headers/objscip/objpricer.h rename to include/objscip/objpricer.h diff --git a/headers/objscip/objprobcloneable.h b/include/objscip/objprobcloneable.h similarity index 100% rename from headers/objscip/objprobcloneable.h rename to include/objscip/objprobcloneable.h diff --git a/headers/objscip/objprobdata.h b/include/objscip/objprobdata.h similarity index 100% rename from headers/objscip/objprobdata.h rename to include/objscip/objprobdata.h diff --git a/headers/objscip/objprop.h b/include/objscip/objprop.h similarity index 100% rename from headers/objscip/objprop.h rename to include/objscip/objprop.h diff --git a/headers/objscip/objreader.h b/include/objscip/objreader.h similarity index 100% rename from headers/objscip/objreader.h rename to include/objscip/objreader.h diff --git a/headers/objscip/objrelax.h b/include/objscip/objrelax.h similarity index 100% rename from headers/objscip/objrelax.h rename to include/objscip/objrelax.h diff --git a/headers/objscip/objscip.h b/include/objscip/objscip.h similarity index 100% rename from headers/objscip/objscip.h rename to include/objscip/objscip.h diff --git a/headers/objscip/objscipdefplugins.h b/include/objscip/objscipdefplugins.h similarity index 100% rename from headers/objscip/objscipdefplugins.h rename to include/objscip/objscipdefplugins.h diff --git a/headers/objscip/objsepa.h b/include/objscip/objsepa.h similarity index 100% rename from headers/objscip/objsepa.h rename to include/objscip/objsepa.h diff --git a/headers/objscip/objtable.h b/include/objscip/objtable.h similarity index 100% rename from headers/objscip/objtable.h rename to include/objscip/objtable.h diff --git a/headers/objscip/objvardata.h b/include/objscip/objvardata.h similarity index 100% rename from headers/objscip/objvardata.h rename to include/objscip/objvardata.h diff --git a/headers/objscip/type_objcloneable.h b/include/objscip/type_objcloneable.h similarity index 100% rename from headers/objscip/type_objcloneable.h rename to include/objscip/type_objcloneable.h diff --git a/headers/objscip/type_objprobcloneable.h b/include/objscip/type_objprobcloneable.h similarity index 100% rename from headers/objscip/type_objprobcloneable.h rename to include/objscip/type_objprobcloneable.h diff --git a/headers/papilo/CMakeConfig.hpp b/include/papilo/CMakeConfig.hpp similarity index 100% rename from headers/papilo/CMakeConfig.hpp rename to include/papilo/CMakeConfig.hpp diff --git a/headers/papilo/Config.hpp b/include/papilo/Config.hpp similarity index 100% rename from headers/papilo/Config.hpp rename to include/papilo/Config.hpp diff --git a/headers/papilo/core/Components.hpp b/include/papilo/core/Components.hpp similarity index 100% rename from headers/papilo/core/Components.hpp rename to include/papilo/core/Components.hpp diff --git a/headers/papilo/core/ConstraintMatrix.hpp b/include/papilo/core/ConstraintMatrix.hpp similarity index 100% rename from headers/papilo/core/ConstraintMatrix.hpp rename to include/papilo/core/ConstraintMatrix.hpp diff --git a/headers/papilo/core/MatrixBuffer.hpp b/include/papilo/core/MatrixBuffer.hpp similarity index 100% rename from headers/papilo/core/MatrixBuffer.hpp rename to include/papilo/core/MatrixBuffer.hpp diff --git a/headers/papilo/core/Objective.hpp b/include/papilo/core/Objective.hpp similarity index 100% rename from headers/papilo/core/Objective.hpp rename to include/papilo/core/Objective.hpp diff --git a/headers/papilo/core/Presolve.hpp b/include/papilo/core/Presolve.hpp similarity index 100% rename from headers/papilo/core/Presolve.hpp rename to include/papilo/core/Presolve.hpp diff --git a/headers/papilo/core/PresolveMethod.hpp b/include/papilo/core/PresolveMethod.hpp similarity index 100% rename from headers/papilo/core/PresolveMethod.hpp rename to include/papilo/core/PresolveMethod.hpp diff --git a/headers/papilo/core/PresolveOptions.hpp b/include/papilo/core/PresolveOptions.hpp similarity index 100% rename from headers/papilo/core/PresolveOptions.hpp rename to include/papilo/core/PresolveOptions.hpp diff --git a/headers/papilo/core/ProbingView.hpp b/include/papilo/core/ProbingView.hpp similarity index 100% rename from headers/papilo/core/ProbingView.hpp rename to include/papilo/core/ProbingView.hpp diff --git a/headers/papilo/core/Problem.hpp b/include/papilo/core/Problem.hpp similarity index 100% rename from headers/papilo/core/Problem.hpp rename to include/papilo/core/Problem.hpp diff --git a/headers/papilo/core/ProblemBuilder.hpp b/include/papilo/core/ProblemBuilder.hpp similarity index 100% rename from headers/papilo/core/ProblemBuilder.hpp rename to include/papilo/core/ProblemBuilder.hpp diff --git a/headers/papilo/core/ProblemUpdate.hpp b/include/papilo/core/ProblemUpdate.hpp similarity index 100% rename from headers/papilo/core/ProblemUpdate.hpp rename to include/papilo/core/ProblemUpdate.hpp diff --git a/headers/papilo/core/Reductions.hpp b/include/papilo/core/Reductions.hpp similarity index 100% rename from headers/papilo/core/Reductions.hpp rename to include/papilo/core/Reductions.hpp diff --git a/headers/papilo/core/RowFlags.hpp b/include/papilo/core/RowFlags.hpp similarity index 100% rename from headers/papilo/core/RowFlags.hpp rename to include/papilo/core/RowFlags.hpp diff --git a/headers/papilo/core/SingleRow.hpp b/include/papilo/core/SingleRow.hpp similarity index 100% rename from headers/papilo/core/SingleRow.hpp rename to include/papilo/core/SingleRow.hpp diff --git a/headers/papilo/core/Solution.hpp b/include/papilo/core/Solution.hpp similarity index 100% rename from headers/papilo/core/Solution.hpp rename to include/papilo/core/Solution.hpp diff --git a/headers/papilo/core/SparseStorage.hpp b/include/papilo/core/SparseStorage.hpp similarity index 100% rename from headers/papilo/core/SparseStorage.hpp rename to include/papilo/core/SparseStorage.hpp diff --git a/headers/papilo/core/Statistics.hpp b/include/papilo/core/Statistics.hpp similarity index 100% rename from headers/papilo/core/Statistics.hpp rename to include/papilo/core/Statistics.hpp diff --git a/headers/papilo/core/VariableDomains.hpp b/include/papilo/core/VariableDomains.hpp similarity index 100% rename from headers/papilo/core/VariableDomains.hpp rename to include/papilo/core/VariableDomains.hpp diff --git a/headers/papilo/core/postsolve/BoundStorage.hpp b/include/papilo/core/postsolve/BoundStorage.hpp similarity index 100% rename from headers/papilo/core/postsolve/BoundStorage.hpp rename to include/papilo/core/postsolve/BoundStorage.hpp diff --git a/headers/papilo/core/postsolve/Postsolve.hpp b/include/papilo/core/postsolve/Postsolve.hpp similarity index 100% rename from headers/papilo/core/postsolve/Postsolve.hpp rename to include/papilo/core/postsolve/Postsolve.hpp diff --git a/headers/papilo/core/postsolve/PostsolveStatus.hpp b/include/papilo/core/postsolve/PostsolveStatus.hpp similarity index 100% rename from headers/papilo/core/postsolve/PostsolveStatus.hpp rename to include/papilo/core/postsolve/PostsolveStatus.hpp diff --git a/headers/papilo/core/postsolve/PostsolveStorage.hpp b/include/papilo/core/postsolve/PostsolveStorage.hpp similarity index 100% rename from headers/papilo/core/postsolve/PostsolveStorage.hpp rename to include/papilo/core/postsolve/PostsolveStorage.hpp diff --git a/headers/papilo/core/postsolve/PostsolveType.hpp b/include/papilo/core/postsolve/PostsolveType.hpp similarity index 100% rename from headers/papilo/core/postsolve/PostsolveType.hpp rename to include/papilo/core/postsolve/PostsolveType.hpp diff --git a/headers/papilo/core/postsolve/ReductionType.hpp b/include/papilo/core/postsolve/ReductionType.hpp similarity index 100% rename from headers/papilo/core/postsolve/ReductionType.hpp rename to include/papilo/core/postsolve/ReductionType.hpp diff --git a/headers/papilo/core/postsolve/SavedRow.hpp b/include/papilo/core/postsolve/SavedRow.hpp similarity index 100% rename from headers/papilo/core/postsolve/SavedRow.hpp rename to include/papilo/core/postsolve/SavedRow.hpp diff --git a/headers/papilo/external/fmt/chrono.h b/include/papilo/external/fmt/chrono.h similarity index 100% rename from headers/papilo/external/fmt/chrono.h rename to include/papilo/external/fmt/chrono.h diff --git a/headers/papilo/external/fmt/color.h b/include/papilo/external/fmt/color.h similarity index 100% rename from headers/papilo/external/fmt/color.h rename to include/papilo/external/fmt/color.h diff --git a/headers/papilo/external/fmt/compile.h b/include/papilo/external/fmt/compile.h similarity index 100% rename from headers/papilo/external/fmt/compile.h rename to include/papilo/external/fmt/compile.h diff --git a/headers/papilo/external/fmt/core.h b/include/papilo/external/fmt/core.h similarity index 100% rename from headers/papilo/external/fmt/core.h rename to include/papilo/external/fmt/core.h diff --git a/headers/papilo/external/fmt/format-inl.h b/include/papilo/external/fmt/format-inl.h similarity index 100% rename from headers/papilo/external/fmt/format-inl.h rename to include/papilo/external/fmt/format-inl.h diff --git a/headers/papilo/external/fmt/format.cc b/include/papilo/external/fmt/format.cc similarity index 100% rename from headers/papilo/external/fmt/format.cc rename to include/papilo/external/fmt/format.cc diff --git a/headers/papilo/external/fmt/format.h b/include/papilo/external/fmt/format.h similarity index 100% rename from headers/papilo/external/fmt/format.h rename to include/papilo/external/fmt/format.h diff --git a/headers/papilo/external/fmt/locale.h b/include/papilo/external/fmt/locale.h similarity index 100% rename from headers/papilo/external/fmt/locale.h rename to include/papilo/external/fmt/locale.h diff --git a/headers/papilo/external/fmt/ostream.h b/include/papilo/external/fmt/ostream.h similarity index 100% rename from headers/papilo/external/fmt/ostream.h rename to include/papilo/external/fmt/ostream.h diff --git a/headers/papilo/external/fmt/posix.cc b/include/papilo/external/fmt/posix.cc similarity index 100% rename from headers/papilo/external/fmt/posix.cc rename to include/papilo/external/fmt/posix.cc diff --git a/headers/papilo/external/fmt/posix.h b/include/papilo/external/fmt/posix.h similarity index 100% rename from headers/papilo/external/fmt/posix.h rename to include/papilo/external/fmt/posix.h diff --git a/headers/papilo/external/fmt/printf.h b/include/papilo/external/fmt/printf.h similarity index 100% rename from headers/papilo/external/fmt/printf.h rename to include/papilo/external/fmt/printf.h diff --git a/headers/papilo/external/fmt/ranges.h b/include/papilo/external/fmt/ranges.h similarity index 100% rename from headers/papilo/external/fmt/ranges.h rename to include/papilo/external/fmt/ranges.h diff --git a/headers/papilo/external/lusol/clusol.h b/include/papilo/external/lusol/clusol.h similarity index 100% rename from headers/papilo/external/lusol/clusol.h rename to include/papilo/external/lusol/clusol.h diff --git a/headers/papilo/external/pdqsort/pdqsort.h b/include/papilo/external/pdqsort/pdqsort.h similarity index 100% rename from headers/papilo/external/pdqsort/pdqsort.h rename to include/papilo/external/pdqsort/pdqsort.h diff --git a/headers/papilo/external/ska/bytell_hash_map.hpp b/include/papilo/external/ska/bytell_hash_map.hpp similarity index 100% rename from headers/papilo/external/ska/bytell_hash_map.hpp rename to include/papilo/external/ska/bytell_hash_map.hpp diff --git a/headers/papilo/external/ska/flat_hash_map.hpp b/include/papilo/external/ska/flat_hash_map.hpp similarity index 100% rename from headers/papilo/external/ska/flat_hash_map.hpp rename to include/papilo/external/ska/flat_hash_map.hpp diff --git a/headers/papilo/external/ska/unordered_map.hpp b/include/papilo/external/ska/unordered_map.hpp similarity index 100% rename from headers/papilo/external/ska/unordered_map.hpp rename to include/papilo/external/ska/unordered_map.hpp diff --git a/headers/papilo/interfaces/GlopInterface.hpp b/include/papilo/interfaces/GlopInterface.hpp similarity index 100% rename from headers/papilo/interfaces/GlopInterface.hpp rename to include/papilo/interfaces/GlopInterface.hpp diff --git a/headers/papilo/interfaces/GurobiInterface.hpp b/include/papilo/interfaces/GurobiInterface.hpp similarity index 100% rename from headers/papilo/interfaces/GurobiInterface.hpp rename to include/papilo/interfaces/GurobiInterface.hpp diff --git a/headers/papilo/interfaces/HighsInterface.hpp b/include/papilo/interfaces/HighsInterface.hpp similarity index 100% rename from headers/papilo/interfaces/HighsInterface.hpp rename to include/papilo/interfaces/HighsInterface.hpp diff --git a/headers/papilo/interfaces/ScipInterface.hpp b/include/papilo/interfaces/ScipInterface.hpp similarity index 100% rename from headers/papilo/interfaces/ScipInterface.hpp rename to include/papilo/interfaces/ScipInterface.hpp diff --git a/headers/papilo/interfaces/SolverInterface.hpp b/include/papilo/interfaces/SolverInterface.hpp similarity index 100% rename from headers/papilo/interfaces/SolverInterface.hpp rename to include/papilo/interfaces/SolverInterface.hpp diff --git a/headers/papilo/interfaces/SoplexInterface.hpp b/include/papilo/interfaces/SoplexInterface.hpp similarity index 100% rename from headers/papilo/interfaces/SoplexInterface.hpp rename to include/papilo/interfaces/SoplexInterface.hpp diff --git a/headers/papilo/io/Message.hpp b/include/papilo/io/Message.hpp similarity index 100% rename from headers/papilo/io/Message.hpp rename to include/papilo/io/Message.hpp diff --git a/headers/papilo/io/MpsParser.hpp b/include/papilo/io/MpsParser.hpp similarity index 100% rename from headers/papilo/io/MpsParser.hpp rename to include/papilo/io/MpsParser.hpp diff --git a/headers/papilo/io/MpsWriter.hpp b/include/papilo/io/MpsWriter.hpp similarity index 100% rename from headers/papilo/io/MpsWriter.hpp rename to include/papilo/io/MpsWriter.hpp diff --git a/headers/papilo/io/SolParser.hpp b/include/papilo/io/SolParser.hpp similarity index 100% rename from headers/papilo/io/SolParser.hpp rename to include/papilo/io/SolParser.hpp diff --git a/headers/papilo/io/SolWriter.hpp b/include/papilo/io/SolWriter.hpp similarity index 100% rename from headers/papilo/io/SolWriter.hpp rename to include/papilo/io/SolWriter.hpp diff --git a/headers/papilo/misc/Alloc.hpp b/include/papilo/misc/Alloc.hpp similarity index 100% rename from headers/papilo/misc/Alloc.hpp rename to include/papilo/misc/Alloc.hpp diff --git a/headers/papilo/misc/Array.hpp b/include/papilo/misc/Array.hpp similarity index 100% rename from headers/papilo/misc/Array.hpp rename to include/papilo/misc/Array.hpp diff --git a/headers/papilo/misc/DependentRows.hpp b/include/papilo/misc/DependentRows.hpp similarity index 100% rename from headers/papilo/misc/DependentRows.hpp rename to include/papilo/misc/DependentRows.hpp diff --git a/headers/papilo/misc/Flags.hpp b/include/papilo/misc/Flags.hpp similarity index 100% rename from headers/papilo/misc/Flags.hpp rename to include/papilo/misc/Flags.hpp diff --git a/headers/papilo/misc/Hash.hpp b/include/papilo/misc/Hash.hpp similarity index 100% rename from headers/papilo/misc/Hash.hpp rename to include/papilo/misc/Hash.hpp diff --git a/headers/papilo/misc/MultiPrecision.hpp b/include/papilo/misc/MultiPrecision.hpp similarity index 100% rename from headers/papilo/misc/MultiPrecision.hpp rename to include/papilo/misc/MultiPrecision.hpp diff --git a/headers/papilo/misc/Num.hpp b/include/papilo/misc/Num.hpp similarity index 100% rename from headers/papilo/misc/Num.hpp rename to include/papilo/misc/Num.hpp diff --git a/headers/papilo/misc/NumericalStatistics.hpp b/include/papilo/misc/NumericalStatistics.hpp similarity index 100% rename from headers/papilo/misc/NumericalStatistics.hpp rename to include/papilo/misc/NumericalStatistics.hpp diff --git a/headers/papilo/misc/OptionsParser.hpp b/include/papilo/misc/OptionsParser.hpp similarity index 100% rename from headers/papilo/misc/OptionsParser.hpp rename to include/papilo/misc/OptionsParser.hpp diff --git a/headers/papilo/misc/ParameterSet.hpp b/include/papilo/misc/ParameterSet.hpp similarity index 100% rename from headers/papilo/misc/ParameterSet.hpp rename to include/papilo/misc/ParameterSet.hpp diff --git a/headers/papilo/misc/PrimalDualSolValidation.hpp b/include/papilo/misc/PrimalDualSolValidation.hpp similarity index 100% rename from headers/papilo/misc/PrimalDualSolValidation.hpp rename to include/papilo/misc/PrimalDualSolValidation.hpp diff --git a/headers/papilo/misc/Signature.hpp b/include/papilo/misc/Signature.hpp similarity index 100% rename from headers/papilo/misc/Signature.hpp rename to include/papilo/misc/Signature.hpp diff --git a/headers/papilo/misc/StableSum.hpp b/include/papilo/misc/StableSum.hpp similarity index 100% rename from headers/papilo/misc/StableSum.hpp rename to include/papilo/misc/StableSum.hpp diff --git a/headers/papilo/misc/String.hpp b/include/papilo/misc/String.hpp similarity index 100% rename from headers/papilo/misc/String.hpp rename to include/papilo/misc/String.hpp diff --git a/headers/papilo/misc/Timer.hpp b/include/papilo/misc/Timer.hpp similarity index 100% rename from headers/papilo/misc/Timer.hpp rename to include/papilo/misc/Timer.hpp diff --git a/headers/papilo/misc/Validation.hpp b/include/papilo/misc/Validation.hpp similarity index 100% rename from headers/papilo/misc/Validation.hpp rename to include/papilo/misc/Validation.hpp diff --git a/headers/papilo/misc/Vec.hpp b/include/papilo/misc/Vec.hpp similarity index 100% rename from headers/papilo/misc/Vec.hpp rename to include/papilo/misc/Vec.hpp diff --git a/headers/papilo/misc/VectorUtils.hpp b/include/papilo/misc/VectorUtils.hpp similarity index 100% rename from headers/papilo/misc/VectorUtils.hpp rename to include/papilo/misc/VectorUtils.hpp diff --git a/headers/papilo/misc/VersionLogger.hpp b/include/papilo/misc/VersionLogger.hpp similarity index 100% rename from headers/papilo/misc/VersionLogger.hpp rename to include/papilo/misc/VersionLogger.hpp diff --git a/headers/papilo/misc/Wrappers.hpp b/include/papilo/misc/Wrappers.hpp similarity index 100% rename from headers/papilo/misc/Wrappers.hpp rename to include/papilo/misc/Wrappers.hpp diff --git a/headers/papilo/misc/compress_vector.hpp b/include/papilo/misc/compress_vector.hpp similarity index 100% rename from headers/papilo/misc/compress_vector.hpp rename to include/papilo/misc/compress_vector.hpp diff --git a/headers/papilo/misc/fmt.hpp b/include/papilo/misc/fmt.hpp similarity index 100% rename from headers/papilo/misc/fmt.hpp rename to include/papilo/misc/fmt.hpp diff --git a/headers/papilo/misc/tbb.hpp b/include/papilo/misc/tbb.hpp similarity index 100% rename from headers/papilo/misc/tbb.hpp rename to include/papilo/misc/tbb.hpp diff --git a/headers/papilo/presolvers/CoefficientStrengthening.hpp b/include/papilo/presolvers/CoefficientStrengthening.hpp similarity index 100% rename from headers/papilo/presolvers/CoefficientStrengthening.hpp rename to include/papilo/presolvers/CoefficientStrengthening.hpp diff --git a/headers/papilo/presolvers/ConstraintPropagation.hpp b/include/papilo/presolvers/ConstraintPropagation.hpp similarity index 100% rename from headers/papilo/presolvers/ConstraintPropagation.hpp rename to include/papilo/presolvers/ConstraintPropagation.hpp diff --git a/headers/papilo/presolvers/DominatedCols.hpp b/include/papilo/presolvers/DominatedCols.hpp similarity index 100% rename from headers/papilo/presolvers/DominatedCols.hpp rename to include/papilo/presolvers/DominatedCols.hpp diff --git a/headers/papilo/presolvers/DualFix.hpp b/include/papilo/presolvers/DualFix.hpp similarity index 100% rename from headers/papilo/presolvers/DualFix.hpp rename to include/papilo/presolvers/DualFix.hpp diff --git a/headers/papilo/presolvers/DualInfer.hpp b/include/papilo/presolvers/DualInfer.hpp similarity index 100% rename from headers/papilo/presolvers/DualInfer.hpp rename to include/papilo/presolvers/DualInfer.hpp diff --git a/headers/papilo/presolvers/FixContinuous.hpp b/include/papilo/presolvers/FixContinuous.hpp similarity index 100% rename from headers/papilo/presolvers/FixContinuous.hpp rename to include/papilo/presolvers/FixContinuous.hpp diff --git a/headers/papilo/presolvers/FreeVarSubstitution.hpp b/include/papilo/presolvers/FreeVarSubstitution.hpp similarity index 100% rename from headers/papilo/presolvers/FreeVarSubstitution.hpp rename to include/papilo/presolvers/FreeVarSubstitution.hpp diff --git a/headers/papilo/presolvers/ImplIntDetection.hpp b/include/papilo/presolvers/ImplIntDetection.hpp similarity index 100% rename from headers/papilo/presolvers/ImplIntDetection.hpp rename to include/papilo/presolvers/ImplIntDetection.hpp diff --git a/headers/papilo/presolvers/ParallelColDetection.hpp b/include/papilo/presolvers/ParallelColDetection.hpp similarity index 100% rename from headers/papilo/presolvers/ParallelColDetection.hpp rename to include/papilo/presolvers/ParallelColDetection.hpp diff --git a/headers/papilo/presolvers/ParallelRowDetection.hpp b/include/papilo/presolvers/ParallelRowDetection.hpp similarity index 100% rename from headers/papilo/presolvers/ParallelRowDetection.hpp rename to include/papilo/presolvers/ParallelRowDetection.hpp diff --git a/headers/papilo/presolvers/Probing.hpp b/include/papilo/presolvers/Probing.hpp similarity index 100% rename from headers/papilo/presolvers/Probing.hpp rename to include/papilo/presolvers/Probing.hpp diff --git a/headers/papilo/presolvers/SimpleProbing.hpp b/include/papilo/presolvers/SimpleProbing.hpp similarity index 100% rename from headers/papilo/presolvers/SimpleProbing.hpp rename to include/papilo/presolvers/SimpleProbing.hpp diff --git a/headers/papilo/presolvers/SimpleSubstitution.hpp b/include/papilo/presolvers/SimpleSubstitution.hpp similarity index 100% rename from headers/papilo/presolvers/SimpleSubstitution.hpp rename to include/papilo/presolvers/SimpleSubstitution.hpp diff --git a/headers/papilo/presolvers/SimplifyInequalities.hpp b/include/papilo/presolvers/SimplifyInequalities.hpp similarity index 100% rename from headers/papilo/presolvers/SimplifyInequalities.hpp rename to include/papilo/presolvers/SimplifyInequalities.hpp diff --git a/headers/papilo/presolvers/SingletonCols.hpp b/include/papilo/presolvers/SingletonCols.hpp similarity index 100% rename from headers/papilo/presolvers/SingletonCols.hpp rename to include/papilo/presolvers/SingletonCols.hpp diff --git a/headers/papilo/presolvers/SingletonStuffing.hpp b/include/papilo/presolvers/SingletonStuffing.hpp similarity index 100% rename from headers/papilo/presolvers/SingletonStuffing.hpp rename to include/papilo/presolvers/SingletonStuffing.hpp diff --git a/headers/papilo/presolvers/Sparsify.hpp b/include/papilo/presolvers/Sparsify.hpp similarity index 100% rename from headers/papilo/presolvers/Sparsify.hpp rename to include/papilo/presolvers/Sparsify.hpp diff --git a/headers/scip/bandit.h b/include/scip/bandit.h similarity index 100% rename from headers/scip/bandit.h rename to include/scip/bandit.h diff --git a/headers/scip/bandit_epsgreedy.h b/include/scip/bandit_epsgreedy.h similarity index 100% rename from headers/scip/bandit_epsgreedy.h rename to include/scip/bandit_epsgreedy.h diff --git a/headers/scip/bandit_exp3.h b/include/scip/bandit_exp3.h similarity index 100% rename from headers/scip/bandit_exp3.h rename to include/scip/bandit_exp3.h diff --git a/headers/scip/bandit_ucb.h b/include/scip/bandit_ucb.h similarity index 100% rename from headers/scip/bandit_ucb.h rename to include/scip/bandit_ucb.h diff --git a/headers/scip/benders.h b/include/scip/benders.h similarity index 100% rename from headers/scip/benders.h rename to include/scip/benders.h diff --git a/headers/scip/benders_default.h b/include/scip/benders_default.h similarity index 100% rename from headers/scip/benders_default.h rename to include/scip/benders_default.h diff --git a/headers/scip/benderscut.h b/include/scip/benderscut.h similarity index 100% rename from headers/scip/benderscut.h rename to include/scip/benderscut.h diff --git a/headers/scip/benderscut_feas.h b/include/scip/benderscut_feas.h similarity index 100% rename from headers/scip/benderscut_feas.h rename to include/scip/benderscut_feas.h diff --git a/headers/scip/benderscut_feasalt.h b/include/scip/benderscut_feasalt.h similarity index 100% rename from headers/scip/benderscut_feasalt.h rename to include/scip/benderscut_feasalt.h diff --git a/headers/scip/benderscut_int.h b/include/scip/benderscut_int.h similarity index 100% rename from headers/scip/benderscut_int.h rename to include/scip/benderscut_int.h diff --git a/headers/scip/benderscut_nogood.h b/include/scip/benderscut_nogood.h similarity index 100% rename from headers/scip/benderscut_nogood.h rename to include/scip/benderscut_nogood.h diff --git a/headers/scip/benderscut_opt.h b/include/scip/benderscut_opt.h similarity index 100% rename from headers/scip/benderscut_opt.h rename to include/scip/benderscut_opt.h diff --git a/headers/scip/bendersdefcuts.h b/include/scip/bendersdefcuts.h similarity index 100% rename from headers/scip/bendersdefcuts.h rename to include/scip/bendersdefcuts.h diff --git a/headers/scip/bitencode.h b/include/scip/bitencode.h similarity index 100% rename from headers/scip/bitencode.h rename to include/scip/bitencode.h diff --git a/headers/scip/boundstore.h b/include/scip/boundstore.h similarity index 100% rename from headers/scip/boundstore.h rename to include/scip/boundstore.h diff --git a/headers/scip/branch.h b/include/scip/branch.h similarity index 100% rename from headers/scip/branch.h rename to include/scip/branch.h diff --git a/headers/scip/branch_allfullstrong.h b/include/scip/branch_allfullstrong.h similarity index 100% rename from headers/scip/branch_allfullstrong.h rename to include/scip/branch_allfullstrong.h diff --git a/headers/scip/branch_cloud.h b/include/scip/branch_cloud.h similarity index 100% rename from headers/scip/branch_cloud.h rename to include/scip/branch_cloud.h diff --git a/headers/scip/branch_distribution.h b/include/scip/branch_distribution.h similarity index 100% rename from headers/scip/branch_distribution.h rename to include/scip/branch_distribution.h diff --git a/headers/scip/branch_fullstrong.h b/include/scip/branch_fullstrong.h similarity index 100% rename from headers/scip/branch_fullstrong.h rename to include/scip/branch_fullstrong.h diff --git a/headers/scip/branch_inference.h b/include/scip/branch_inference.h similarity index 100% rename from headers/scip/branch_inference.h rename to include/scip/branch_inference.h diff --git a/headers/scip/branch_leastinf.h b/include/scip/branch_leastinf.h similarity index 100% rename from headers/scip/branch_leastinf.h rename to include/scip/branch_leastinf.h diff --git a/headers/scip/branch_lookahead.h b/include/scip/branch_lookahead.h similarity index 100% rename from headers/scip/branch_lookahead.h rename to include/scip/branch_lookahead.h diff --git a/headers/scip/branch_mostinf.h b/include/scip/branch_mostinf.h similarity index 100% rename from headers/scip/branch_mostinf.h rename to include/scip/branch_mostinf.h diff --git a/headers/scip/branch_multaggr.h b/include/scip/branch_multaggr.h similarity index 100% rename from headers/scip/branch_multaggr.h rename to include/scip/branch_multaggr.h diff --git a/headers/scip/branch_nodereopt.h b/include/scip/branch_nodereopt.h similarity index 100% rename from headers/scip/branch_nodereopt.h rename to include/scip/branch_nodereopt.h diff --git a/headers/scip/branch_pscost.h b/include/scip/branch_pscost.h similarity index 100% rename from headers/scip/branch_pscost.h rename to include/scip/branch_pscost.h diff --git a/headers/scip/branch_random.h b/include/scip/branch_random.h similarity index 100% rename from headers/scip/branch_random.h rename to include/scip/branch_random.h diff --git a/headers/scip/branch_relpscost.h b/include/scip/branch_relpscost.h similarity index 100% rename from headers/scip/branch_relpscost.h rename to include/scip/branch_relpscost.h diff --git a/headers/scip/branch_vanillafullstrong.h b/include/scip/branch_vanillafullstrong.h similarity index 100% rename from headers/scip/branch_vanillafullstrong.h rename to include/scip/branch_vanillafullstrong.h diff --git a/headers/scip/clock.h b/include/scip/clock.h similarity index 100% rename from headers/scip/clock.h rename to include/scip/clock.h diff --git a/headers/scip/compr.h b/include/scip/compr.h similarity index 100% rename from headers/scip/compr.h rename to include/scip/compr.h diff --git a/headers/scip/compr_largestrepr.h b/include/scip/compr_largestrepr.h similarity index 100% rename from headers/scip/compr_largestrepr.h rename to include/scip/compr_largestrepr.h diff --git a/headers/scip/compr_weakcompr.h b/include/scip/compr_weakcompr.h similarity index 100% rename from headers/scip/compr_weakcompr.h rename to include/scip/compr_weakcompr.h diff --git a/headers/scip/concsolver.h b/include/scip/concsolver.h similarity index 100% rename from headers/scip/concsolver.h rename to include/scip/concsolver.h diff --git a/headers/scip/concsolver_scip.h b/include/scip/concsolver_scip.h similarity index 100% rename from headers/scip/concsolver_scip.h rename to include/scip/concsolver_scip.h diff --git a/headers/scip/concurrent.h b/include/scip/concurrent.h similarity index 100% rename from headers/scip/concurrent.h rename to include/scip/concurrent.h diff --git a/headers/scip/config.h b/include/scip/config.h similarity index 100% rename from headers/scip/config.h rename to include/scip/config.h diff --git a/headers/scip/conflict.h b/include/scip/conflict.h similarity index 100% rename from headers/scip/conflict.h rename to include/scip/conflict.h diff --git a/headers/scip/conflictstore.h b/include/scip/conflictstore.h similarity index 100% rename from headers/scip/conflictstore.h rename to include/scip/conflictstore.h diff --git a/headers/scip/cons.h b/include/scip/cons.h similarity index 100% rename from headers/scip/cons.h rename to include/scip/cons.h diff --git a/headers/scip/cons_abspower.h b/include/scip/cons_abspower.h similarity index 100% rename from headers/scip/cons_abspower.h rename to include/scip/cons_abspower.h diff --git a/headers/scip/cons_and.h b/include/scip/cons_and.h similarity index 100% rename from headers/scip/cons_and.h rename to include/scip/cons_and.h diff --git a/headers/scip/cons_benders.h b/include/scip/cons_benders.h similarity index 100% rename from headers/scip/cons_benders.h rename to include/scip/cons_benders.h diff --git a/headers/scip/cons_benderslp.h b/include/scip/cons_benderslp.h similarity index 100% rename from headers/scip/cons_benderslp.h rename to include/scip/cons_benderslp.h diff --git a/headers/scip/cons_bounddisjunction.h b/include/scip/cons_bounddisjunction.h similarity index 100% rename from headers/scip/cons_bounddisjunction.h rename to include/scip/cons_bounddisjunction.h diff --git a/headers/scip/cons_cardinality.h b/include/scip/cons_cardinality.h similarity index 100% rename from headers/scip/cons_cardinality.h rename to include/scip/cons_cardinality.h diff --git a/headers/scip/cons_components.h b/include/scip/cons_components.h similarity index 100% rename from headers/scip/cons_components.h rename to include/scip/cons_components.h diff --git a/headers/scip/cons_conjunction.h b/include/scip/cons_conjunction.h similarity index 100% rename from headers/scip/cons_conjunction.h rename to include/scip/cons_conjunction.h diff --git a/headers/scip/cons_countsols.h b/include/scip/cons_countsols.h similarity index 100% rename from headers/scip/cons_countsols.h rename to include/scip/cons_countsols.h diff --git a/headers/scip/cons_cumulative.h b/include/scip/cons_cumulative.h similarity index 100% rename from headers/scip/cons_cumulative.h rename to include/scip/cons_cumulative.h diff --git a/headers/scip/cons_disjunction.h b/include/scip/cons_disjunction.h similarity index 100% rename from headers/scip/cons_disjunction.h rename to include/scip/cons_disjunction.h diff --git a/headers/scip/cons_indicator.h b/include/scip/cons_indicator.h similarity index 100% rename from headers/scip/cons_indicator.h rename to include/scip/cons_indicator.h diff --git a/headers/scip/cons_integral.h b/include/scip/cons_integral.h similarity index 100% rename from headers/scip/cons_integral.h rename to include/scip/cons_integral.h diff --git a/headers/scip/cons_knapsack.h b/include/scip/cons_knapsack.h similarity index 100% rename from headers/scip/cons_knapsack.h rename to include/scip/cons_knapsack.h diff --git a/headers/scip/cons_linear.h b/include/scip/cons_linear.h similarity index 100% rename from headers/scip/cons_linear.h rename to include/scip/cons_linear.h diff --git a/headers/scip/cons_linking.h b/include/scip/cons_linking.h similarity index 100% rename from headers/scip/cons_linking.h rename to include/scip/cons_linking.h diff --git a/headers/scip/cons_logicor.h b/include/scip/cons_logicor.h similarity index 100% rename from headers/scip/cons_logicor.h rename to include/scip/cons_logicor.h diff --git a/headers/scip/cons_nonlinear.h b/include/scip/cons_nonlinear.h similarity index 100% rename from headers/scip/cons_nonlinear.h rename to include/scip/cons_nonlinear.h diff --git a/headers/scip/cons_or.h b/include/scip/cons_or.h similarity index 100% rename from headers/scip/cons_or.h rename to include/scip/cons_or.h diff --git a/headers/scip/cons_orbisack.h b/include/scip/cons_orbisack.h similarity index 100% rename from headers/scip/cons_orbisack.h rename to include/scip/cons_orbisack.h diff --git a/headers/scip/cons_orbitope.h b/include/scip/cons_orbitope.h similarity index 100% rename from headers/scip/cons_orbitope.h rename to include/scip/cons_orbitope.h diff --git a/headers/scip/cons_pseudoboolean.h b/include/scip/cons_pseudoboolean.h similarity index 100% rename from headers/scip/cons_pseudoboolean.h rename to include/scip/cons_pseudoboolean.h diff --git a/headers/scip/cons_quadratic.h b/include/scip/cons_quadratic.h similarity index 100% rename from headers/scip/cons_quadratic.h rename to include/scip/cons_quadratic.h diff --git a/headers/scip/cons_setppc.h b/include/scip/cons_setppc.h similarity index 100% rename from headers/scip/cons_setppc.h rename to include/scip/cons_setppc.h diff --git a/headers/scip/cons_soc.h b/include/scip/cons_soc.h similarity index 100% rename from headers/scip/cons_soc.h rename to include/scip/cons_soc.h diff --git a/headers/scip/cons_sos1.h b/include/scip/cons_sos1.h similarity index 100% rename from headers/scip/cons_sos1.h rename to include/scip/cons_sos1.h diff --git a/headers/scip/cons_sos2.h b/include/scip/cons_sos2.h similarity index 100% rename from headers/scip/cons_sos2.h rename to include/scip/cons_sos2.h diff --git a/headers/scip/cons_superindicator.h b/include/scip/cons_superindicator.h similarity index 100% rename from headers/scip/cons_superindicator.h rename to include/scip/cons_superindicator.h diff --git a/headers/scip/cons_symresack.h b/include/scip/cons_symresack.h similarity index 100% rename from headers/scip/cons_symresack.h rename to include/scip/cons_symresack.h diff --git a/headers/scip/cons_varbound.h b/include/scip/cons_varbound.h similarity index 100% rename from headers/scip/cons_varbound.h rename to include/scip/cons_varbound.h diff --git a/headers/scip/cons_xor.h b/include/scip/cons_xor.h similarity index 100% rename from headers/scip/cons_xor.h rename to include/scip/cons_xor.h diff --git a/headers/scip/cutpool.h b/include/scip/cutpool.h similarity index 100% rename from headers/scip/cutpool.h rename to include/scip/cutpool.h diff --git a/headers/scip/cuts.h b/include/scip/cuts.h similarity index 100% rename from headers/scip/cuts.h rename to include/scip/cuts.h diff --git a/headers/scip/cutsel.h b/include/scip/cutsel.h similarity index 100% rename from headers/scip/cutsel.h rename to include/scip/cutsel.h diff --git a/headers/scip/cutsel_hybrid.h b/include/scip/cutsel_hybrid.h similarity index 100% rename from headers/scip/cutsel_hybrid.h rename to include/scip/cutsel_hybrid.h diff --git a/headers/scip/dbldblarith.h b/include/scip/dbldblarith.h similarity index 100% rename from headers/scip/dbldblarith.h rename to include/scip/dbldblarith.h diff --git a/headers/scip/dcmp.h b/include/scip/dcmp.h similarity index 100% rename from headers/scip/dcmp.h rename to include/scip/dcmp.h diff --git a/headers/scip/debug.h b/include/scip/debug.h similarity index 100% rename from headers/scip/debug.h rename to include/scip/debug.h diff --git a/headers/scip/def.h b/include/scip/def.h similarity index 100% rename from headers/scip/def.h rename to include/scip/def.h diff --git a/headers/scip/dialog.h b/include/scip/dialog.h similarity index 100% rename from headers/scip/dialog.h rename to include/scip/dialog.h diff --git a/headers/scip/dialog_default.h b/include/scip/dialog_default.h similarity index 100% rename from headers/scip/dialog_default.h rename to include/scip/dialog_default.h diff --git a/headers/scip/disp.h b/include/scip/disp.h similarity index 100% rename from headers/scip/disp.h rename to include/scip/disp.h diff --git a/headers/scip/disp_default.h b/include/scip/disp_default.h similarity index 100% rename from headers/scip/disp_default.h rename to include/scip/disp_default.h diff --git a/headers/scip/event.h b/include/scip/event.h similarity index 100% rename from headers/scip/event.h rename to include/scip/event.h diff --git a/headers/scip/event_estim.h b/include/scip/event_estim.h similarity index 100% rename from headers/scip/event_estim.h rename to include/scip/event_estim.h diff --git a/headers/scip/event_globalbnd.h b/include/scip/event_globalbnd.h similarity index 100% rename from headers/scip/event_globalbnd.h rename to include/scip/event_globalbnd.h diff --git a/headers/scip/event_softtimelimit.h b/include/scip/event_softtimelimit.h similarity index 100% rename from headers/scip/event_softtimelimit.h rename to include/scip/event_softtimelimit.h diff --git a/headers/scip/event_solvingphase.h b/include/scip/event_solvingphase.h similarity index 100% rename from headers/scip/event_solvingphase.h rename to include/scip/event_solvingphase.h diff --git a/headers/scip/expr.h b/include/scip/expr.h similarity index 100% rename from headers/scip/expr.h rename to include/scip/expr.h diff --git a/headers/scip/expr_abs.h b/include/scip/expr_abs.h similarity index 100% rename from headers/scip/expr_abs.h rename to include/scip/expr_abs.h diff --git a/headers/scip/expr_entropy.h b/include/scip/expr_entropy.h similarity index 100% rename from headers/scip/expr_entropy.h rename to include/scip/expr_entropy.h diff --git a/headers/scip/expr_erf.h b/include/scip/expr_erf.h similarity index 100% rename from headers/scip/expr_erf.h rename to include/scip/expr_erf.h diff --git a/headers/scip/expr_exp.h b/include/scip/expr_exp.h similarity index 100% rename from headers/scip/expr_exp.h rename to include/scip/expr_exp.h diff --git a/headers/scip/expr_log.h b/include/scip/expr_log.h similarity index 100% rename from headers/scip/expr_log.h rename to include/scip/expr_log.h diff --git a/headers/scip/expr_pow.h b/include/scip/expr_pow.h similarity index 100% rename from headers/scip/expr_pow.h rename to include/scip/expr_pow.h diff --git a/headers/scip/expr_product.h b/include/scip/expr_product.h similarity index 100% rename from headers/scip/expr_product.h rename to include/scip/expr_product.h diff --git a/headers/scip/expr_sum.h b/include/scip/expr_sum.h similarity index 100% rename from headers/scip/expr_sum.h rename to include/scip/expr_sum.h diff --git a/headers/scip/expr_trig.h b/include/scip/expr_trig.h similarity index 100% rename from headers/scip/expr_trig.h rename to include/scip/expr_trig.h diff --git a/headers/scip/expr_value.h b/include/scip/expr_value.h similarity index 100% rename from headers/scip/expr_value.h rename to include/scip/expr_value.h diff --git a/headers/scip/expr_var.h b/include/scip/expr_var.h similarity index 100% rename from headers/scip/expr_var.h rename to include/scip/expr_var.h diff --git a/headers/scip/expr_varidx.h b/include/scip/expr_varidx.h similarity index 100% rename from headers/scip/expr_varidx.h rename to include/scip/expr_varidx.h diff --git a/headers/scip/exprinterpret.h b/include/scip/exprinterpret.h similarity index 100% rename from headers/scip/exprinterpret.h rename to include/scip/exprinterpret.h diff --git a/headers/scip/heur.h b/include/scip/heur.h similarity index 100% rename from headers/scip/heur.h rename to include/scip/heur.h diff --git a/headers/scip/heur_actconsdiving.h b/include/scip/heur_actconsdiving.h similarity index 100% rename from headers/scip/heur_actconsdiving.h rename to include/scip/heur_actconsdiving.h diff --git a/headers/scip/heur_adaptivediving.h b/include/scip/heur_adaptivediving.h similarity index 100% rename from headers/scip/heur_adaptivediving.h rename to include/scip/heur_adaptivediving.h diff --git a/headers/scip/heur_alns.h b/include/scip/heur_alns.h similarity index 100% rename from headers/scip/heur_alns.h rename to include/scip/heur_alns.h diff --git a/headers/scip/heur_bound.h b/include/scip/heur_bound.h similarity index 100% rename from headers/scip/heur_bound.h rename to include/scip/heur_bound.h diff --git a/headers/scip/heur_clique.h b/include/scip/heur_clique.h similarity index 100% rename from headers/scip/heur_clique.h rename to include/scip/heur_clique.h diff --git a/headers/scip/heur_coefdiving.h b/include/scip/heur_coefdiving.h similarity index 100% rename from headers/scip/heur_coefdiving.h rename to include/scip/heur_coefdiving.h diff --git a/headers/scip/heur_completesol.h b/include/scip/heur_completesol.h similarity index 100% rename from headers/scip/heur_completesol.h rename to include/scip/heur_completesol.h diff --git a/headers/scip/heur_conflictdiving.h b/include/scip/heur_conflictdiving.h similarity index 100% rename from headers/scip/heur_conflictdiving.h rename to include/scip/heur_conflictdiving.h diff --git a/headers/scip/heur_crossover.h b/include/scip/heur_crossover.h similarity index 100% rename from headers/scip/heur_crossover.h rename to include/scip/heur_crossover.h diff --git a/headers/scip/heur_dins.h b/include/scip/heur_dins.h similarity index 100% rename from headers/scip/heur_dins.h rename to include/scip/heur_dins.h diff --git a/headers/scip/heur_distributiondiving.h b/include/scip/heur_distributiondiving.h similarity index 100% rename from headers/scip/heur_distributiondiving.h rename to include/scip/heur_distributiondiving.h diff --git a/headers/scip/heur_dps.h b/include/scip/heur_dps.h similarity index 100% rename from headers/scip/heur_dps.h rename to include/scip/heur_dps.h diff --git a/headers/scip/heur_dualval.h b/include/scip/heur_dualval.h similarity index 100% rename from headers/scip/heur_dualval.h rename to include/scip/heur_dualval.h diff --git a/headers/scip/heur_farkasdiving.h b/include/scip/heur_farkasdiving.h similarity index 100% rename from headers/scip/heur_farkasdiving.h rename to include/scip/heur_farkasdiving.h diff --git a/headers/scip/heur_feaspump.h b/include/scip/heur_feaspump.h similarity index 100% rename from headers/scip/heur_feaspump.h rename to include/scip/heur_feaspump.h diff --git a/headers/scip/heur_fixandinfer.h b/include/scip/heur_fixandinfer.h similarity index 100% rename from headers/scip/heur_fixandinfer.h rename to include/scip/heur_fixandinfer.h diff --git a/headers/scip/heur_fracdiving.h b/include/scip/heur_fracdiving.h similarity index 100% rename from headers/scip/heur_fracdiving.h rename to include/scip/heur_fracdiving.h diff --git a/headers/scip/heur_gins.h b/include/scip/heur_gins.h similarity index 100% rename from headers/scip/heur_gins.h rename to include/scip/heur_gins.h diff --git a/headers/scip/heur_guideddiving.h b/include/scip/heur_guideddiving.h similarity index 100% rename from headers/scip/heur_guideddiving.h rename to include/scip/heur_guideddiving.h diff --git a/headers/scip/heur_indicator.h b/include/scip/heur_indicator.h similarity index 100% rename from headers/scip/heur_indicator.h rename to include/scip/heur_indicator.h diff --git a/headers/scip/heur_intdiving.h b/include/scip/heur_intdiving.h similarity index 100% rename from headers/scip/heur_intdiving.h rename to include/scip/heur_intdiving.h diff --git a/headers/scip/heur_intshifting.h b/include/scip/heur_intshifting.h similarity index 100% rename from headers/scip/heur_intshifting.h rename to include/scip/heur_intshifting.h diff --git a/headers/scip/heur_linesearchdiving.h b/include/scip/heur_linesearchdiving.h similarity index 100% rename from headers/scip/heur_linesearchdiving.h rename to include/scip/heur_linesearchdiving.h diff --git a/headers/scip/heur_localbranching.h b/include/scip/heur_localbranching.h similarity index 100% rename from headers/scip/heur_localbranching.h rename to include/scip/heur_localbranching.h diff --git a/headers/scip/heur_locks.h b/include/scip/heur_locks.h similarity index 100% rename from headers/scip/heur_locks.h rename to include/scip/heur_locks.h diff --git a/headers/scip/heur_lpface.h b/include/scip/heur_lpface.h similarity index 100% rename from headers/scip/heur_lpface.h rename to include/scip/heur_lpface.h diff --git a/headers/scip/heur_mpec.h b/include/scip/heur_mpec.h similarity index 100% rename from headers/scip/heur_mpec.h rename to include/scip/heur_mpec.h diff --git a/headers/scip/heur_multistart.h b/include/scip/heur_multistart.h similarity index 100% rename from headers/scip/heur_multistart.h rename to include/scip/heur_multistart.h diff --git a/headers/scip/heur_mutation.h b/include/scip/heur_mutation.h similarity index 100% rename from headers/scip/heur_mutation.h rename to include/scip/heur_mutation.h diff --git a/headers/scip/heur_nlpdiving.h b/include/scip/heur_nlpdiving.h similarity index 100% rename from headers/scip/heur_nlpdiving.h rename to include/scip/heur_nlpdiving.h diff --git a/headers/scip/heur_objpscostdiving.h b/include/scip/heur_objpscostdiving.h similarity index 100% rename from headers/scip/heur_objpscostdiving.h rename to include/scip/heur_objpscostdiving.h diff --git a/headers/scip/heur_octane.h b/include/scip/heur_octane.h similarity index 100% rename from headers/scip/heur_octane.h rename to include/scip/heur_octane.h diff --git a/headers/scip/heur_ofins.h b/include/scip/heur_ofins.h similarity index 100% rename from headers/scip/heur_ofins.h rename to include/scip/heur_ofins.h diff --git a/headers/scip/heur_oneopt.h b/include/scip/heur_oneopt.h similarity index 100% rename from headers/scip/heur_oneopt.h rename to include/scip/heur_oneopt.h diff --git a/headers/scip/heur_padm.h b/include/scip/heur_padm.h similarity index 100% rename from headers/scip/heur_padm.h rename to include/scip/heur_padm.h diff --git a/headers/scip/heur_proximity.h b/include/scip/heur_proximity.h similarity index 100% rename from headers/scip/heur_proximity.h rename to include/scip/heur_proximity.h diff --git a/headers/scip/heur_pscostdiving.h b/include/scip/heur_pscostdiving.h similarity index 100% rename from headers/scip/heur_pscostdiving.h rename to include/scip/heur_pscostdiving.h diff --git a/headers/scip/heur_randrounding.h b/include/scip/heur_randrounding.h similarity index 100% rename from headers/scip/heur_randrounding.h rename to include/scip/heur_randrounding.h diff --git a/headers/scip/heur_rens.h b/include/scip/heur_rens.h similarity index 100% rename from headers/scip/heur_rens.h rename to include/scip/heur_rens.h diff --git a/headers/scip/heur_reoptsols.h b/include/scip/heur_reoptsols.h similarity index 100% rename from headers/scip/heur_reoptsols.h rename to include/scip/heur_reoptsols.h diff --git a/headers/scip/heur_repair.h b/include/scip/heur_repair.h similarity index 100% rename from headers/scip/heur_repair.h rename to include/scip/heur_repair.h diff --git a/headers/scip/heur_rins.h b/include/scip/heur_rins.h similarity index 100% rename from headers/scip/heur_rins.h rename to include/scip/heur_rins.h diff --git a/headers/scip/heur_rootsoldiving.h b/include/scip/heur_rootsoldiving.h similarity index 100% rename from headers/scip/heur_rootsoldiving.h rename to include/scip/heur_rootsoldiving.h diff --git a/headers/scip/heur_rounding.h b/include/scip/heur_rounding.h similarity index 100% rename from headers/scip/heur_rounding.h rename to include/scip/heur_rounding.h diff --git a/headers/scip/heur_shiftandpropagate.h b/include/scip/heur_shiftandpropagate.h similarity index 100% rename from headers/scip/heur_shiftandpropagate.h rename to include/scip/heur_shiftandpropagate.h diff --git a/headers/scip/heur_shifting.h b/include/scip/heur_shifting.h similarity index 100% rename from headers/scip/heur_shifting.h rename to include/scip/heur_shifting.h diff --git a/headers/scip/heur_simplerounding.h b/include/scip/heur_simplerounding.h similarity index 100% rename from headers/scip/heur_simplerounding.h rename to include/scip/heur_simplerounding.h diff --git a/headers/scip/heur_subnlp.h b/include/scip/heur_subnlp.h similarity index 100% rename from headers/scip/heur_subnlp.h rename to include/scip/heur_subnlp.h diff --git a/headers/scip/heur_sync.h b/include/scip/heur_sync.h similarity index 100% rename from headers/scip/heur_sync.h rename to include/scip/heur_sync.h diff --git a/headers/scip/heur_trivial.h b/include/scip/heur_trivial.h similarity index 100% rename from headers/scip/heur_trivial.h rename to include/scip/heur_trivial.h diff --git a/headers/scip/heur_trivialnegation.h b/include/scip/heur_trivialnegation.h similarity index 100% rename from headers/scip/heur_trivialnegation.h rename to include/scip/heur_trivialnegation.h diff --git a/headers/scip/heur_trustregion.h b/include/scip/heur_trustregion.h similarity index 100% rename from headers/scip/heur_trustregion.h rename to include/scip/heur_trustregion.h diff --git a/headers/scip/heur_trysol.h b/include/scip/heur_trysol.h similarity index 100% rename from headers/scip/heur_trysol.h rename to include/scip/heur_trysol.h diff --git a/headers/scip/heur_twoopt.h b/include/scip/heur_twoopt.h similarity index 100% rename from headers/scip/heur_twoopt.h rename to include/scip/heur_twoopt.h diff --git a/headers/scip/heur_undercover.h b/include/scip/heur_undercover.h similarity index 100% rename from headers/scip/heur_undercover.h rename to include/scip/heur_undercover.h diff --git a/headers/scip/heur_vbounds.h b/include/scip/heur_vbounds.h similarity index 100% rename from headers/scip/heur_vbounds.h rename to include/scip/heur_vbounds.h diff --git a/headers/scip/heur_veclendiving.h b/include/scip/heur_veclendiving.h similarity index 100% rename from headers/scip/heur_veclendiving.h rename to include/scip/heur_veclendiving.h diff --git a/headers/scip/heur_zeroobj.h b/include/scip/heur_zeroobj.h similarity index 100% rename from headers/scip/heur_zeroobj.h rename to include/scip/heur_zeroobj.h diff --git a/headers/scip/heur_zirounding.h b/include/scip/heur_zirounding.h similarity index 100% rename from headers/scip/heur_zirounding.h rename to include/scip/heur_zirounding.h diff --git a/headers/scip/heuristics.h b/include/scip/heuristics.h similarity index 100% rename from headers/scip/heuristics.h rename to include/scip/heuristics.h diff --git a/headers/scip/history.h b/include/scip/history.h similarity index 100% rename from headers/scip/history.h rename to include/scip/history.h diff --git a/headers/scip/implics.h b/include/scip/implics.h similarity index 100% rename from headers/scip/implics.h rename to include/scip/implics.h diff --git a/headers/scip/interrupt.h b/include/scip/interrupt.h similarity index 100% rename from headers/scip/interrupt.h rename to include/scip/interrupt.h diff --git a/headers/scip/intervalarith.h b/include/scip/intervalarith.h similarity index 100% rename from headers/scip/intervalarith.h rename to include/scip/intervalarith.h diff --git a/headers/scip/lp.h b/include/scip/lp.h similarity index 100% rename from headers/scip/lp.h rename to include/scip/lp.h diff --git a/headers/scip/mem.h b/include/scip/mem.h similarity index 100% rename from headers/scip/mem.h rename to include/scip/mem.h diff --git a/headers/scip/message.h b/include/scip/message.h similarity index 100% rename from headers/scip/message.h rename to include/scip/message.h diff --git a/headers/scip/message_default.h b/include/scip/message_default.h similarity index 100% rename from headers/scip/message_default.h rename to include/scip/message_default.h diff --git a/headers/scip/misc.h b/include/scip/misc.h similarity index 100% rename from headers/scip/misc.h rename to include/scip/misc.h diff --git a/headers/scip/nlhdlr.h b/include/scip/nlhdlr.h similarity index 100% rename from headers/scip/nlhdlr.h rename to include/scip/nlhdlr.h diff --git a/headers/scip/nlhdlr_bilinear.h b/include/scip/nlhdlr_bilinear.h similarity index 100% rename from headers/scip/nlhdlr_bilinear.h rename to include/scip/nlhdlr_bilinear.h diff --git a/headers/scip/nlhdlr_convex.h b/include/scip/nlhdlr_convex.h similarity index 100% rename from headers/scip/nlhdlr_convex.h rename to include/scip/nlhdlr_convex.h diff --git a/headers/scip/nlhdlr_default.h b/include/scip/nlhdlr_default.h similarity index 100% rename from headers/scip/nlhdlr_default.h rename to include/scip/nlhdlr_default.h diff --git a/headers/scip/nlhdlr_perspective.h b/include/scip/nlhdlr_perspective.h similarity index 100% rename from headers/scip/nlhdlr_perspective.h rename to include/scip/nlhdlr_perspective.h diff --git a/headers/scip/nlhdlr_quadratic.h b/include/scip/nlhdlr_quadratic.h similarity index 100% rename from headers/scip/nlhdlr_quadratic.h rename to include/scip/nlhdlr_quadratic.h diff --git a/headers/scip/nlhdlr_quotient.h b/include/scip/nlhdlr_quotient.h similarity index 100% rename from headers/scip/nlhdlr_quotient.h rename to include/scip/nlhdlr_quotient.h diff --git a/headers/scip/nlhdlr_soc.h b/include/scip/nlhdlr_soc.h similarity index 100% rename from headers/scip/nlhdlr_soc.h rename to include/scip/nlhdlr_soc.h diff --git a/headers/scip/nlp.h b/include/scip/nlp.h similarity index 100% rename from headers/scip/nlp.h rename to include/scip/nlp.h diff --git a/headers/scip/nlpi.h b/include/scip/nlpi.h similarity index 100% rename from headers/scip/nlpi.h rename to include/scip/nlpi.h diff --git a/headers/scip/nlpi_all.h b/include/scip/nlpi_all.h similarity index 100% rename from headers/scip/nlpi_all.h rename to include/scip/nlpi_all.h diff --git a/headers/scip/nlpi_filtersqp.h b/include/scip/nlpi_filtersqp.h similarity index 100% rename from headers/scip/nlpi_filtersqp.h rename to include/scip/nlpi_filtersqp.h diff --git a/headers/scip/nlpi_ipopt.h b/include/scip/nlpi_ipopt.h similarity index 100% rename from headers/scip/nlpi_ipopt.h rename to include/scip/nlpi_ipopt.h diff --git a/headers/scip/nlpi_worhp.h b/include/scip/nlpi_worhp.h similarity index 100% rename from headers/scip/nlpi_worhp.h rename to include/scip/nlpi_worhp.h diff --git a/headers/scip/nlpioracle.h b/include/scip/nlpioracle.h similarity index 100% rename from headers/scip/nlpioracle.h rename to include/scip/nlpioracle.h diff --git a/headers/scip/nodesel.h b/include/scip/nodesel.h similarity index 100% rename from headers/scip/nodesel.h rename to include/scip/nodesel.h diff --git a/headers/scip/nodesel_bfs.h b/include/scip/nodesel_bfs.h similarity index 100% rename from headers/scip/nodesel_bfs.h rename to include/scip/nodesel_bfs.h diff --git a/headers/scip/nodesel_breadthfirst.h b/include/scip/nodesel_breadthfirst.h similarity index 100% rename from headers/scip/nodesel_breadthfirst.h rename to include/scip/nodesel_breadthfirst.h diff --git a/headers/scip/nodesel_dfs.h b/include/scip/nodesel_dfs.h similarity index 100% rename from headers/scip/nodesel_dfs.h rename to include/scip/nodesel_dfs.h diff --git a/headers/scip/nodesel_estimate.h b/include/scip/nodesel_estimate.h similarity index 100% rename from headers/scip/nodesel_estimate.h rename to include/scip/nodesel_estimate.h diff --git a/headers/scip/nodesel_hybridestim.h b/include/scip/nodesel_hybridestim.h similarity index 100% rename from headers/scip/nodesel_hybridestim.h rename to include/scip/nodesel_hybridestim.h diff --git a/headers/scip/nodesel_restartdfs.h b/include/scip/nodesel_restartdfs.h similarity index 100% rename from headers/scip/nodesel_restartdfs.h rename to include/scip/nodesel_restartdfs.h diff --git a/headers/scip/nodesel_uct.h b/include/scip/nodesel_uct.h similarity index 100% rename from headers/scip/nodesel_uct.h rename to include/scip/nodesel_uct.h diff --git a/headers/scip/paramset.h b/include/scip/paramset.h similarity index 100% rename from headers/scip/paramset.h rename to include/scip/paramset.h diff --git a/headers/scip/presol.h b/include/scip/presol.h similarity index 100% rename from headers/scip/presol.h rename to include/scip/presol.h diff --git a/headers/scip/presol_boundshift.h b/include/scip/presol_boundshift.h similarity index 100% rename from headers/scip/presol_boundshift.h rename to include/scip/presol_boundshift.h diff --git a/headers/scip/presol_convertinttobin.h b/include/scip/presol_convertinttobin.h similarity index 100% rename from headers/scip/presol_convertinttobin.h rename to include/scip/presol_convertinttobin.h diff --git a/headers/scip/presol_domcol.h b/include/scip/presol_domcol.h similarity index 100% rename from headers/scip/presol_domcol.h rename to include/scip/presol_domcol.h diff --git a/headers/scip/presol_dualagg.h b/include/scip/presol_dualagg.h similarity index 100% rename from headers/scip/presol_dualagg.h rename to include/scip/presol_dualagg.h diff --git a/headers/scip/presol_dualcomp.h b/include/scip/presol_dualcomp.h similarity index 100% rename from headers/scip/presol_dualcomp.h rename to include/scip/presol_dualcomp.h diff --git a/headers/scip/presol_dualinfer.h b/include/scip/presol_dualinfer.h similarity index 100% rename from headers/scip/presol_dualinfer.h rename to include/scip/presol_dualinfer.h diff --git a/headers/scip/presol_dualsparsify.h b/include/scip/presol_dualsparsify.h similarity index 100% rename from headers/scip/presol_dualsparsify.h rename to include/scip/presol_dualsparsify.h diff --git a/headers/scip/presol_gateextraction.h b/include/scip/presol_gateextraction.h similarity index 100% rename from headers/scip/presol_gateextraction.h rename to include/scip/presol_gateextraction.h diff --git a/headers/scip/presol_implics.h b/include/scip/presol_implics.h similarity index 100% rename from headers/scip/presol_implics.h rename to include/scip/presol_implics.h diff --git a/headers/scip/presol_inttobinary.h b/include/scip/presol_inttobinary.h similarity index 100% rename from headers/scip/presol_inttobinary.h rename to include/scip/presol_inttobinary.h diff --git a/headers/scip/presol_milp.h b/include/scip/presol_milp.h similarity index 100% rename from headers/scip/presol_milp.h rename to include/scip/presol_milp.h diff --git a/headers/scip/presol_qpkktref.h b/include/scip/presol_qpkktref.h similarity index 100% rename from headers/scip/presol_qpkktref.h rename to include/scip/presol_qpkktref.h diff --git a/headers/scip/presol_redvub.h b/include/scip/presol_redvub.h similarity index 100% rename from headers/scip/presol_redvub.h rename to include/scip/presol_redvub.h diff --git a/headers/scip/presol_sparsify.h b/include/scip/presol_sparsify.h similarity index 100% rename from headers/scip/presol_sparsify.h rename to include/scip/presol_sparsify.h diff --git a/headers/scip/presol_stuffing.h b/include/scip/presol_stuffing.h similarity index 100% rename from headers/scip/presol_stuffing.h rename to include/scip/presol_stuffing.h diff --git a/headers/scip/presol_trivial.h b/include/scip/presol_trivial.h similarity index 100% rename from headers/scip/presol_trivial.h rename to include/scip/presol_trivial.h diff --git a/headers/scip/presol_tworowbnd.h b/include/scip/presol_tworowbnd.h similarity index 100% rename from headers/scip/presol_tworowbnd.h rename to include/scip/presol_tworowbnd.h diff --git a/headers/scip/presolve.h b/include/scip/presolve.h similarity index 100% rename from headers/scip/presolve.h rename to include/scip/presolve.h diff --git a/headers/scip/pricer.h b/include/scip/pricer.h similarity index 100% rename from headers/scip/pricer.h rename to include/scip/pricer.h diff --git a/headers/scip/pricestore.h b/include/scip/pricestore.h similarity index 100% rename from headers/scip/pricestore.h rename to include/scip/pricestore.h diff --git a/headers/scip/primal.h b/include/scip/primal.h similarity index 100% rename from headers/scip/primal.h rename to include/scip/primal.h diff --git a/headers/scip/prob.h b/include/scip/prob.h similarity index 100% rename from headers/scip/prob.h rename to include/scip/prob.h diff --git a/headers/scip/prop.h b/include/scip/prop.h similarity index 100% rename from headers/scip/prop.h rename to include/scip/prop.h diff --git a/headers/scip/prop_dualfix.h b/include/scip/prop_dualfix.h similarity index 100% rename from headers/scip/prop_dualfix.h rename to include/scip/prop_dualfix.h diff --git a/headers/scip/prop_genvbounds.h b/include/scip/prop_genvbounds.h similarity index 100% rename from headers/scip/prop_genvbounds.h rename to include/scip/prop_genvbounds.h diff --git a/headers/scip/prop_nlobbt.h b/include/scip/prop_nlobbt.h similarity index 100% rename from headers/scip/prop_nlobbt.h rename to include/scip/prop_nlobbt.h diff --git a/headers/scip/prop_obbt.h b/include/scip/prop_obbt.h similarity index 100% rename from headers/scip/prop_obbt.h rename to include/scip/prop_obbt.h diff --git a/headers/scip/prop_probing.h b/include/scip/prop_probing.h similarity index 100% rename from headers/scip/prop_probing.h rename to include/scip/prop_probing.h diff --git a/headers/scip/prop_pseudoobj.h b/include/scip/prop_pseudoobj.h similarity index 100% rename from headers/scip/prop_pseudoobj.h rename to include/scip/prop_pseudoobj.h diff --git a/headers/scip/prop_redcost.h b/include/scip/prop_redcost.h similarity index 100% rename from headers/scip/prop_redcost.h rename to include/scip/prop_redcost.h diff --git a/headers/scip/prop_rootredcost.h b/include/scip/prop_rootredcost.h similarity index 100% rename from headers/scip/prop_rootredcost.h rename to include/scip/prop_rootredcost.h diff --git a/headers/scip/prop_symmetry.h b/include/scip/prop_symmetry.h similarity index 100% rename from headers/scip/prop_symmetry.h rename to include/scip/prop_symmetry.h diff --git a/headers/scip/prop_sync.h b/include/scip/prop_sync.h similarity index 100% rename from headers/scip/prop_sync.h rename to include/scip/prop_sync.h diff --git a/headers/scip/prop_vbounds.h b/include/scip/prop_vbounds.h similarity index 100% rename from headers/scip/prop_vbounds.h rename to include/scip/prop_vbounds.h diff --git a/headers/scip/pub_bandit.h b/include/scip/pub_bandit.h similarity index 100% rename from headers/scip/pub_bandit.h rename to include/scip/pub_bandit.h diff --git a/headers/scip/pub_bandit_epsgreedy.h b/include/scip/pub_bandit_epsgreedy.h similarity index 100% rename from headers/scip/pub_bandit_epsgreedy.h rename to include/scip/pub_bandit_epsgreedy.h diff --git a/headers/scip/pub_bandit_exp3.h b/include/scip/pub_bandit_exp3.h similarity index 100% rename from headers/scip/pub_bandit_exp3.h rename to include/scip/pub_bandit_exp3.h diff --git a/headers/scip/pub_bandit_ucb.h b/include/scip/pub_bandit_ucb.h similarity index 100% rename from headers/scip/pub_bandit_ucb.h rename to include/scip/pub_bandit_ucb.h diff --git a/headers/scip/pub_benders.h b/include/scip/pub_benders.h similarity index 100% rename from headers/scip/pub_benders.h rename to include/scip/pub_benders.h diff --git a/headers/scip/pub_benderscut.h b/include/scip/pub_benderscut.h similarity index 100% rename from headers/scip/pub_benderscut.h rename to include/scip/pub_benderscut.h diff --git a/headers/scip/pub_branch.h b/include/scip/pub_branch.h similarity index 100% rename from headers/scip/pub_branch.h rename to include/scip/pub_branch.h diff --git a/headers/scip/pub_compr.h b/include/scip/pub_compr.h similarity index 100% rename from headers/scip/pub_compr.h rename to include/scip/pub_compr.h diff --git a/headers/scip/pub_conflict.h b/include/scip/pub_conflict.h similarity index 100% rename from headers/scip/pub_conflict.h rename to include/scip/pub_conflict.h diff --git a/headers/scip/pub_cons.h b/include/scip/pub_cons.h similarity index 100% rename from headers/scip/pub_cons.h rename to include/scip/pub_cons.h diff --git a/headers/scip/pub_cutpool.h b/include/scip/pub_cutpool.h similarity index 100% rename from headers/scip/pub_cutpool.h rename to include/scip/pub_cutpool.h diff --git a/headers/scip/pub_cutsel.h b/include/scip/pub_cutsel.h similarity index 100% rename from headers/scip/pub_cutsel.h rename to include/scip/pub_cutsel.h diff --git a/headers/scip/pub_dcmp.h b/include/scip/pub_dcmp.h similarity index 100% rename from headers/scip/pub_dcmp.h rename to include/scip/pub_dcmp.h diff --git a/headers/scip/pub_dialog.h b/include/scip/pub_dialog.h similarity index 100% rename from headers/scip/pub_dialog.h rename to include/scip/pub_dialog.h diff --git a/headers/scip/pub_disp.h b/include/scip/pub_disp.h similarity index 100% rename from headers/scip/pub_disp.h rename to include/scip/pub_disp.h diff --git a/headers/scip/pub_event.h b/include/scip/pub_event.h similarity index 100% rename from headers/scip/pub_event.h rename to include/scip/pub_event.h diff --git a/headers/scip/pub_expr.h b/include/scip/pub_expr.h similarity index 100% rename from headers/scip/pub_expr.h rename to include/scip/pub_expr.h diff --git a/headers/scip/pub_fileio.h b/include/scip/pub_fileio.h similarity index 100% rename from headers/scip/pub_fileio.h rename to include/scip/pub_fileio.h diff --git a/headers/scip/pub_heur.h b/include/scip/pub_heur.h similarity index 100% rename from headers/scip/pub_heur.h rename to include/scip/pub_heur.h diff --git a/headers/scip/pub_history.h b/include/scip/pub_history.h similarity index 100% rename from headers/scip/pub_history.h rename to include/scip/pub_history.h diff --git a/headers/scip/pub_implics.h b/include/scip/pub_implics.h similarity index 100% rename from headers/scip/pub_implics.h rename to include/scip/pub_implics.h diff --git a/headers/scip/pub_lp.h b/include/scip/pub_lp.h similarity index 100% rename from headers/scip/pub_lp.h rename to include/scip/pub_lp.h diff --git a/headers/scip/pub_matrix.h b/include/scip/pub_matrix.h similarity index 100% rename from headers/scip/pub_matrix.h rename to include/scip/pub_matrix.h diff --git a/headers/scip/pub_message.h b/include/scip/pub_message.h similarity index 100% rename from headers/scip/pub_message.h rename to include/scip/pub_message.h diff --git a/headers/scip/pub_misc.h b/include/scip/pub_misc.h similarity index 100% rename from headers/scip/pub_misc.h rename to include/scip/pub_misc.h diff --git a/headers/scip/pub_misc_linear.h b/include/scip/pub_misc_linear.h similarity index 100% rename from headers/scip/pub_misc_linear.h rename to include/scip/pub_misc_linear.h diff --git a/headers/scip/pub_misc_rowprep.h b/include/scip/pub_misc_rowprep.h similarity index 100% rename from headers/scip/pub_misc_rowprep.h rename to include/scip/pub_misc_rowprep.h diff --git a/headers/scip/pub_misc_select.h b/include/scip/pub_misc_select.h similarity index 100% rename from headers/scip/pub_misc_select.h rename to include/scip/pub_misc_select.h diff --git a/headers/scip/pub_misc_sort.h b/include/scip/pub_misc_sort.h similarity index 100% rename from headers/scip/pub_misc_sort.h rename to include/scip/pub_misc_sort.h diff --git a/headers/scip/pub_nlhdlr.h b/include/scip/pub_nlhdlr.h similarity index 100% rename from headers/scip/pub_nlhdlr.h rename to include/scip/pub_nlhdlr.h diff --git a/headers/scip/pub_nlp.h b/include/scip/pub_nlp.h similarity index 100% rename from headers/scip/pub_nlp.h rename to include/scip/pub_nlp.h diff --git a/headers/scip/pub_nlpi.h b/include/scip/pub_nlpi.h similarity index 100% rename from headers/scip/pub_nlpi.h rename to include/scip/pub_nlpi.h diff --git a/headers/scip/pub_nodesel.h b/include/scip/pub_nodesel.h similarity index 100% rename from headers/scip/pub_nodesel.h rename to include/scip/pub_nodesel.h diff --git a/headers/scip/pub_paramset.h b/include/scip/pub_paramset.h similarity index 100% rename from headers/scip/pub_paramset.h rename to include/scip/pub_paramset.h diff --git a/headers/scip/pub_presol.h b/include/scip/pub_presol.h similarity index 100% rename from headers/scip/pub_presol.h rename to include/scip/pub_presol.h diff --git a/headers/scip/pub_pricer.h b/include/scip/pub_pricer.h similarity index 100% rename from headers/scip/pub_pricer.h rename to include/scip/pub_pricer.h diff --git a/headers/scip/pub_prop.h b/include/scip/pub_prop.h similarity index 100% rename from headers/scip/pub_prop.h rename to include/scip/pub_prop.h diff --git a/headers/scip/pub_reader.h b/include/scip/pub_reader.h similarity index 100% rename from headers/scip/pub_reader.h rename to include/scip/pub_reader.h diff --git a/headers/scip/pub_relax.h b/include/scip/pub_relax.h similarity index 100% rename from headers/scip/pub_relax.h rename to include/scip/pub_relax.h diff --git a/headers/scip/pub_reopt.h b/include/scip/pub_reopt.h similarity index 100% rename from headers/scip/pub_reopt.h rename to include/scip/pub_reopt.h diff --git a/headers/scip/pub_sepa.h b/include/scip/pub_sepa.h similarity index 100% rename from headers/scip/pub_sepa.h rename to include/scip/pub_sepa.h diff --git a/headers/scip/pub_sol.h b/include/scip/pub_sol.h similarity index 100% rename from headers/scip/pub_sol.h rename to include/scip/pub_sol.h diff --git a/headers/scip/pub_table.h b/include/scip/pub_table.h similarity index 100% rename from headers/scip/pub_table.h rename to include/scip/pub_table.h diff --git a/headers/scip/pub_tree.h b/include/scip/pub_tree.h similarity index 100% rename from headers/scip/pub_tree.h rename to include/scip/pub_tree.h diff --git a/headers/scip/pub_var.h b/include/scip/pub_var.h similarity index 100% rename from headers/scip/pub_var.h rename to include/scip/pub_var.h diff --git a/headers/scip/rbtree.h b/include/scip/rbtree.h similarity index 100% rename from headers/scip/rbtree.h rename to include/scip/rbtree.h diff --git a/headers/scip/reader.h b/include/scip/reader.h similarity index 100% rename from headers/scip/reader.h rename to include/scip/reader.h diff --git a/headers/scip/reader_bnd.h b/include/scip/reader_bnd.h similarity index 100% rename from headers/scip/reader_bnd.h rename to include/scip/reader_bnd.h diff --git a/headers/scip/reader_ccg.h b/include/scip/reader_ccg.h similarity index 100% rename from headers/scip/reader_ccg.h rename to include/scip/reader_ccg.h diff --git a/headers/scip/reader_cip.h b/include/scip/reader_cip.h similarity index 100% rename from headers/scip/reader_cip.h rename to include/scip/reader_cip.h diff --git a/headers/scip/reader_cnf.h b/include/scip/reader_cnf.h similarity index 100% rename from headers/scip/reader_cnf.h rename to include/scip/reader_cnf.h diff --git a/headers/scip/reader_cor.h b/include/scip/reader_cor.h similarity index 100% rename from headers/scip/reader_cor.h rename to include/scip/reader_cor.h diff --git a/headers/scip/reader_dec.h b/include/scip/reader_dec.h similarity index 100% rename from headers/scip/reader_dec.h rename to include/scip/reader_dec.h diff --git a/headers/scip/reader_diff.h b/include/scip/reader_diff.h similarity index 100% rename from headers/scip/reader_diff.h rename to include/scip/reader_diff.h diff --git a/headers/scip/reader_fix.h b/include/scip/reader_fix.h similarity index 100% rename from headers/scip/reader_fix.h rename to include/scip/reader_fix.h diff --git a/headers/scip/reader_fzn.h b/include/scip/reader_fzn.h similarity index 100% rename from headers/scip/reader_fzn.h rename to include/scip/reader_fzn.h diff --git a/headers/scip/reader_gms.h b/include/scip/reader_gms.h similarity index 100% rename from headers/scip/reader_gms.h rename to include/scip/reader_gms.h diff --git a/headers/scip/reader_lp.h b/include/scip/reader_lp.h similarity index 100% rename from headers/scip/reader_lp.h rename to include/scip/reader_lp.h diff --git a/headers/scip/reader_mps.h b/include/scip/reader_mps.h similarity index 100% rename from headers/scip/reader_mps.h rename to include/scip/reader_mps.h diff --git a/headers/scip/reader_mst.h b/include/scip/reader_mst.h similarity index 100% rename from headers/scip/reader_mst.h rename to include/scip/reader_mst.h diff --git a/headers/scip/reader_nl.h b/include/scip/reader_nl.h similarity index 100% rename from headers/scip/reader_nl.h rename to include/scip/reader_nl.h diff --git a/headers/scip/reader_opb.h b/include/scip/reader_opb.h similarity index 100% rename from headers/scip/reader_opb.h rename to include/scip/reader_opb.h diff --git a/headers/scip/reader_osil.h b/include/scip/reader_osil.h similarity index 100% rename from headers/scip/reader_osil.h rename to include/scip/reader_osil.h diff --git a/headers/scip/reader_pbm.h b/include/scip/reader_pbm.h similarity index 100% rename from headers/scip/reader_pbm.h rename to include/scip/reader_pbm.h diff --git a/headers/scip/reader_pip.h b/include/scip/reader_pip.h similarity index 100% rename from headers/scip/reader_pip.h rename to include/scip/reader_pip.h diff --git a/headers/scip/reader_ppm.h b/include/scip/reader_ppm.h similarity index 100% rename from headers/scip/reader_ppm.h rename to include/scip/reader_ppm.h diff --git a/headers/scip/reader_rlp.h b/include/scip/reader_rlp.h similarity index 100% rename from headers/scip/reader_rlp.h rename to include/scip/reader_rlp.h diff --git a/headers/scip/reader_smps.h b/include/scip/reader_smps.h similarity index 100% rename from headers/scip/reader_smps.h rename to include/scip/reader_smps.h diff --git a/headers/scip/reader_sol.h b/include/scip/reader_sol.h similarity index 100% rename from headers/scip/reader_sol.h rename to include/scip/reader_sol.h diff --git a/headers/scip/reader_sto.h b/include/scip/reader_sto.h similarity index 100% rename from headers/scip/reader_sto.h rename to include/scip/reader_sto.h diff --git a/headers/scip/reader_tim.h b/include/scip/reader_tim.h similarity index 100% rename from headers/scip/reader_tim.h rename to include/scip/reader_tim.h diff --git a/headers/scip/reader_wbo.h b/include/scip/reader_wbo.h similarity index 100% rename from headers/scip/reader_wbo.h rename to include/scip/reader_wbo.h diff --git a/headers/scip/reader_zpl.h b/include/scip/reader_zpl.h similarity index 100% rename from headers/scip/reader_zpl.h rename to include/scip/reader_zpl.h diff --git a/headers/scip/relax.h b/include/scip/relax.h similarity index 100% rename from headers/scip/relax.h rename to include/scip/relax.h diff --git a/headers/scip/reopt.h b/include/scip/reopt.h similarity index 100% rename from headers/scip/reopt.h rename to include/scip/reopt.h diff --git a/headers/scip/retcode.h b/include/scip/retcode.h similarity index 100% rename from headers/scip/retcode.h rename to include/scip/retcode.h diff --git a/headers/scip/scip.h b/include/scip/scip.h similarity index 100% rename from headers/scip/scip.h rename to include/scip/scip.h diff --git a/headers/scip/scip_bandit.h b/include/scip/scip_bandit.h similarity index 100% rename from headers/scip/scip_bandit.h rename to include/scip/scip_bandit.h diff --git a/headers/scip/scip_benders.h b/include/scip/scip_benders.h similarity index 100% rename from headers/scip/scip_benders.h rename to include/scip/scip_benders.h diff --git a/headers/scip/scip_branch.h b/include/scip/scip_branch.h similarity index 100% rename from headers/scip/scip_branch.h rename to include/scip/scip_branch.h diff --git a/headers/scip/scip_compr.h b/include/scip/scip_compr.h similarity index 100% rename from headers/scip/scip_compr.h rename to include/scip/scip_compr.h diff --git a/headers/scip/scip_concurrent.h b/include/scip/scip_concurrent.h similarity index 100% rename from headers/scip/scip_concurrent.h rename to include/scip/scip_concurrent.h diff --git a/headers/scip/scip_conflict.h b/include/scip/scip_conflict.h similarity index 100% rename from headers/scip/scip_conflict.h rename to include/scip/scip_conflict.h diff --git a/headers/scip/scip_cons.h b/include/scip/scip_cons.h similarity index 100% rename from headers/scip/scip_cons.h rename to include/scip/scip_cons.h diff --git a/headers/scip/scip_copy.h b/include/scip/scip_copy.h similarity index 100% rename from headers/scip/scip_copy.h rename to include/scip/scip_copy.h diff --git a/headers/scip/scip_cut.h b/include/scip/scip_cut.h similarity index 100% rename from headers/scip/scip_cut.h rename to include/scip/scip_cut.h diff --git a/headers/scip/scip_cutsel.h b/include/scip/scip_cutsel.h similarity index 100% rename from headers/scip/scip_cutsel.h rename to include/scip/scip_cutsel.h diff --git a/headers/scip/scip_datastructures.h b/include/scip/scip_datastructures.h similarity index 100% rename from headers/scip/scip_datastructures.h rename to include/scip/scip_datastructures.h diff --git a/headers/scip/scip_dcmp.h b/include/scip/scip_dcmp.h similarity index 100% rename from headers/scip/scip_dcmp.h rename to include/scip/scip_dcmp.h diff --git a/headers/scip/scip_debug.h b/include/scip/scip_debug.h similarity index 100% rename from headers/scip/scip_debug.h rename to include/scip/scip_debug.h diff --git a/headers/scip/scip_dialog.h b/include/scip/scip_dialog.h similarity index 100% rename from headers/scip/scip_dialog.h rename to include/scip/scip_dialog.h diff --git a/headers/scip/scip_disp.h b/include/scip/scip_disp.h similarity index 100% rename from headers/scip/scip_disp.h rename to include/scip/scip_disp.h diff --git a/headers/scip/scip_event.h b/include/scip/scip_event.h similarity index 100% rename from headers/scip/scip_event.h rename to include/scip/scip_event.h diff --git a/headers/scip/scip_export.h b/include/scip/scip_export.h similarity index 100% rename from headers/scip/scip_export.h rename to include/scip/scip_export.h diff --git a/headers/scip/scip_expr.h b/include/scip/scip_expr.h similarity index 100% rename from headers/scip/scip_expr.h rename to include/scip/scip_expr.h diff --git a/headers/scip/scip_general.h b/include/scip/scip_general.h similarity index 100% rename from headers/scip/scip_general.h rename to include/scip/scip_general.h diff --git a/headers/scip/scip_heur.h b/include/scip/scip_heur.h similarity index 100% rename from headers/scip/scip_heur.h rename to include/scip/scip_heur.h diff --git a/headers/scip/scip_lp.h b/include/scip/scip_lp.h similarity index 100% rename from headers/scip/scip_lp.h rename to include/scip/scip_lp.h diff --git a/headers/scip/scip_mem.h b/include/scip/scip_mem.h similarity index 100% rename from headers/scip/scip_mem.h rename to include/scip/scip_mem.h diff --git a/headers/scip/scip_message.h b/include/scip/scip_message.h similarity index 100% rename from headers/scip/scip_message.h rename to include/scip/scip_message.h diff --git a/headers/scip/scip_nlp.h b/include/scip/scip_nlp.h similarity index 100% rename from headers/scip/scip_nlp.h rename to include/scip/scip_nlp.h diff --git a/headers/scip/scip_nlpi.h b/include/scip/scip_nlpi.h similarity index 100% rename from headers/scip/scip_nlpi.h rename to include/scip/scip_nlpi.h diff --git a/headers/scip/scip_nodesel.h b/include/scip/scip_nodesel.h similarity index 100% rename from headers/scip/scip_nodesel.h rename to include/scip/scip_nodesel.h diff --git a/headers/scip/scip_numerics.h b/include/scip/scip_numerics.h similarity index 100% rename from headers/scip/scip_numerics.h rename to include/scip/scip_numerics.h diff --git a/headers/scip/scip_param.h b/include/scip/scip_param.h similarity index 100% rename from headers/scip/scip_param.h rename to include/scip/scip_param.h diff --git a/headers/scip/scip_presol.h b/include/scip/scip_presol.h similarity index 100% rename from headers/scip/scip_presol.h rename to include/scip/scip_presol.h diff --git a/headers/scip/scip_pricer.h b/include/scip/scip_pricer.h similarity index 100% rename from headers/scip/scip_pricer.h rename to include/scip/scip_pricer.h diff --git a/headers/scip/scip_prob.h b/include/scip/scip_prob.h similarity index 100% rename from headers/scip/scip_prob.h rename to include/scip/scip_prob.h diff --git a/headers/scip/scip_probing.h b/include/scip/scip_probing.h similarity index 100% rename from headers/scip/scip_probing.h rename to include/scip/scip_probing.h diff --git a/headers/scip/scip_prop.h b/include/scip/scip_prop.h similarity index 100% rename from headers/scip/scip_prop.h rename to include/scip/scip_prop.h diff --git a/headers/scip/scip_randnumgen.h b/include/scip/scip_randnumgen.h similarity index 100% rename from headers/scip/scip_randnumgen.h rename to include/scip/scip_randnumgen.h diff --git a/headers/scip/scip_reader.h b/include/scip/scip_reader.h similarity index 100% rename from headers/scip/scip_reader.h rename to include/scip/scip_reader.h diff --git a/headers/scip/scip_relax.h b/include/scip/scip_relax.h similarity index 100% rename from headers/scip/scip_relax.h rename to include/scip/scip_relax.h diff --git a/headers/scip/scip_reopt.h b/include/scip/scip_reopt.h similarity index 100% rename from headers/scip/scip_reopt.h rename to include/scip/scip_reopt.h diff --git a/headers/scip/scip_sepa.h b/include/scip/scip_sepa.h similarity index 100% rename from headers/scip/scip_sepa.h rename to include/scip/scip_sepa.h diff --git a/headers/scip/scip_sol.h b/include/scip/scip_sol.h similarity index 100% rename from headers/scip/scip_sol.h rename to include/scip/scip_sol.h diff --git a/headers/scip/scip_solve.h b/include/scip/scip_solve.h similarity index 100% rename from headers/scip/scip_solve.h rename to include/scip/scip_solve.h diff --git a/headers/scip/scip_solvingstats.h b/include/scip/scip_solvingstats.h similarity index 100% rename from headers/scip/scip_solvingstats.h rename to include/scip/scip_solvingstats.h diff --git a/headers/scip/scip_table.h b/include/scip/scip_table.h similarity index 100% rename from headers/scip/scip_table.h rename to include/scip/scip_table.h diff --git a/headers/scip/scip_timing.h b/include/scip/scip_timing.h similarity index 100% rename from headers/scip/scip_timing.h rename to include/scip/scip_timing.h diff --git a/headers/scip/scip_tree.h b/include/scip/scip_tree.h similarity index 100% rename from headers/scip/scip_tree.h rename to include/scip/scip_tree.h diff --git a/headers/scip/scip_validation.h b/include/scip/scip_validation.h similarity index 100% rename from headers/scip/scip_validation.h rename to include/scip/scip_validation.h diff --git a/headers/scip/scip_var.h b/include/scip/scip_var.h similarity index 100% rename from headers/scip/scip_var.h rename to include/scip/scip_var.h diff --git a/headers/scip/scipbuildflags.h b/include/scip/scipbuildflags.h similarity index 100% rename from headers/scip/scipbuildflags.h rename to include/scip/scipbuildflags.h diff --git a/headers/scip/scipcoreplugins.h b/include/scip/scipcoreplugins.h similarity index 100% rename from headers/scip/scipcoreplugins.h rename to include/scip/scipcoreplugins.h diff --git a/headers/scip/scipdefplugins.h b/include/scip/scipdefplugins.h similarity index 100% rename from headers/scip/scipdefplugins.h rename to include/scip/scipdefplugins.h diff --git a/headers/scip/scipgithash.h b/include/scip/scipgithash.h similarity index 100% rename from headers/scip/scipgithash.h rename to include/scip/scipgithash.h diff --git a/headers/scip/scipshell.h b/include/scip/scipshell.h similarity index 100% rename from headers/scip/scipshell.h rename to include/scip/scipshell.h diff --git a/headers/scip/sepa.h b/include/scip/sepa.h similarity index 100% rename from headers/scip/sepa.h rename to include/scip/sepa.h diff --git a/headers/scip/sepa_aggregation.h b/include/scip/sepa_aggregation.h similarity index 100% rename from headers/scip/sepa_aggregation.h rename to include/scip/sepa_aggregation.h diff --git a/headers/scip/sepa_cgmip.h b/include/scip/sepa_cgmip.h similarity index 100% rename from headers/scip/sepa_cgmip.h rename to include/scip/sepa_cgmip.h diff --git a/headers/scip/sepa_clique.h b/include/scip/sepa_clique.h similarity index 100% rename from headers/scip/sepa_clique.h rename to include/scip/sepa_clique.h diff --git a/headers/scip/sepa_closecuts.h b/include/scip/sepa_closecuts.h similarity index 100% rename from headers/scip/sepa_closecuts.h rename to include/scip/sepa_closecuts.h diff --git a/headers/scip/sepa_convexproj.h b/include/scip/sepa_convexproj.h similarity index 100% rename from headers/scip/sepa_convexproj.h rename to include/scip/sepa_convexproj.h diff --git a/headers/scip/sepa_disjunctive.h b/include/scip/sepa_disjunctive.h similarity index 100% rename from headers/scip/sepa_disjunctive.h rename to include/scip/sepa_disjunctive.h diff --git a/headers/scip/sepa_eccuts.h b/include/scip/sepa_eccuts.h similarity index 100% rename from headers/scip/sepa_eccuts.h rename to include/scip/sepa_eccuts.h diff --git a/headers/scip/sepa_gauge.h b/include/scip/sepa_gauge.h similarity index 100% rename from headers/scip/sepa_gauge.h rename to include/scip/sepa_gauge.h diff --git a/headers/scip/sepa_gomory.h b/include/scip/sepa_gomory.h similarity index 100% rename from headers/scip/sepa_gomory.h rename to include/scip/sepa_gomory.h diff --git a/headers/scip/sepa_impliedbounds.h b/include/scip/sepa_impliedbounds.h similarity index 100% rename from headers/scip/sepa_impliedbounds.h rename to include/scip/sepa_impliedbounds.h diff --git a/headers/scip/sepa_interminor.h b/include/scip/sepa_interminor.h similarity index 100% rename from headers/scip/sepa_interminor.h rename to include/scip/sepa_interminor.h diff --git a/headers/scip/sepa_intobj.h b/include/scip/sepa_intobj.h similarity index 100% rename from headers/scip/sepa_intobj.h rename to include/scip/sepa_intobj.h diff --git a/headers/scip/sepa_mcf.h b/include/scip/sepa_mcf.h similarity index 100% rename from headers/scip/sepa_mcf.h rename to include/scip/sepa_mcf.h diff --git a/headers/scip/sepa_minor.h b/include/scip/sepa_minor.h similarity index 100% rename from headers/scip/sepa_minor.h rename to include/scip/sepa_minor.h diff --git a/headers/scip/sepa_mixing.h b/include/scip/sepa_mixing.h similarity index 100% rename from headers/scip/sepa_mixing.h rename to include/scip/sepa_mixing.h diff --git a/headers/scip/sepa_oddcycle.h b/include/scip/sepa_oddcycle.h similarity index 100% rename from headers/scip/sepa_oddcycle.h rename to include/scip/sepa_oddcycle.h diff --git a/headers/scip/sepa_rapidlearning.h b/include/scip/sepa_rapidlearning.h similarity index 100% rename from headers/scip/sepa_rapidlearning.h rename to include/scip/sepa_rapidlearning.h diff --git a/headers/scip/sepa_rlt.h b/include/scip/sepa_rlt.h similarity index 100% rename from headers/scip/sepa_rlt.h rename to include/scip/sepa_rlt.h diff --git a/headers/scip/sepa_zerohalf.h b/include/scip/sepa_zerohalf.h similarity index 100% rename from headers/scip/sepa_zerohalf.h rename to include/scip/sepa_zerohalf.h diff --git a/headers/scip/sepastore.h b/include/scip/sepastore.h similarity index 100% rename from headers/scip/sepastore.h rename to include/scip/sepastore.h diff --git a/headers/scip/set.h b/include/scip/set.h similarity index 100% rename from headers/scip/set.h rename to include/scip/set.h diff --git a/headers/scip/sol.h b/include/scip/sol.h similarity index 100% rename from headers/scip/sol.h rename to include/scip/sol.h diff --git a/headers/scip/solve.h b/include/scip/solve.h similarity index 100% rename from headers/scip/solve.h rename to include/scip/solve.h diff --git a/headers/scip/stat.h b/include/scip/stat.h similarity index 100% rename from headers/scip/stat.h rename to include/scip/stat.h diff --git a/headers/scip/struct_bandit.h b/include/scip/struct_bandit.h similarity index 100% rename from headers/scip/struct_bandit.h rename to include/scip/struct_bandit.h diff --git a/headers/scip/struct_benders.h b/include/scip/struct_benders.h similarity index 100% rename from headers/scip/struct_benders.h rename to include/scip/struct_benders.h diff --git a/headers/scip/struct_benderscut.h b/include/scip/struct_benderscut.h similarity index 100% rename from headers/scip/struct_benderscut.h rename to include/scip/struct_benderscut.h diff --git a/headers/scip/struct_branch.h b/include/scip/struct_branch.h similarity index 100% rename from headers/scip/struct_branch.h rename to include/scip/struct_branch.h diff --git a/headers/scip/struct_clock.h b/include/scip/struct_clock.h similarity index 100% rename from headers/scip/struct_clock.h rename to include/scip/struct_clock.h diff --git a/headers/scip/struct_compr.h b/include/scip/struct_compr.h similarity index 100% rename from headers/scip/struct_compr.h rename to include/scip/struct_compr.h diff --git a/headers/scip/struct_concsolver.h b/include/scip/struct_concsolver.h similarity index 100% rename from headers/scip/struct_concsolver.h rename to include/scip/struct_concsolver.h diff --git a/headers/scip/struct_concurrent.h b/include/scip/struct_concurrent.h similarity index 100% rename from headers/scip/struct_concurrent.h rename to include/scip/struct_concurrent.h diff --git a/headers/scip/struct_conflict.h b/include/scip/struct_conflict.h similarity index 100% rename from headers/scip/struct_conflict.h rename to include/scip/struct_conflict.h diff --git a/headers/scip/struct_conflictstore.h b/include/scip/struct_conflictstore.h similarity index 100% rename from headers/scip/struct_conflictstore.h rename to include/scip/struct_conflictstore.h diff --git a/headers/scip/struct_cons.h b/include/scip/struct_cons.h similarity index 100% rename from headers/scip/struct_cons.h rename to include/scip/struct_cons.h diff --git a/headers/scip/struct_cutpool.h b/include/scip/struct_cutpool.h similarity index 100% rename from headers/scip/struct_cutpool.h rename to include/scip/struct_cutpool.h diff --git a/headers/scip/struct_cuts.h b/include/scip/struct_cuts.h similarity index 100% rename from headers/scip/struct_cuts.h rename to include/scip/struct_cuts.h diff --git a/headers/scip/struct_cutsel.h b/include/scip/struct_cutsel.h similarity index 100% rename from headers/scip/struct_cutsel.h rename to include/scip/struct_cutsel.h diff --git a/headers/scip/struct_dcmp.h b/include/scip/struct_dcmp.h similarity index 100% rename from headers/scip/struct_dcmp.h rename to include/scip/struct_dcmp.h diff --git a/headers/scip/struct_dialog.h b/include/scip/struct_dialog.h similarity index 100% rename from headers/scip/struct_dialog.h rename to include/scip/struct_dialog.h diff --git a/headers/scip/struct_disp.h b/include/scip/struct_disp.h similarity index 100% rename from headers/scip/struct_disp.h rename to include/scip/struct_disp.h diff --git a/headers/scip/struct_event.h b/include/scip/struct_event.h similarity index 100% rename from headers/scip/struct_event.h rename to include/scip/struct_event.h diff --git a/headers/scip/struct_expr.h b/include/scip/struct_expr.h similarity index 100% rename from headers/scip/struct_expr.h rename to include/scip/struct_expr.h diff --git a/headers/scip/struct_heur.h b/include/scip/struct_heur.h similarity index 100% rename from headers/scip/struct_heur.h rename to include/scip/struct_heur.h diff --git a/headers/scip/struct_history.h b/include/scip/struct_history.h similarity index 100% rename from headers/scip/struct_history.h rename to include/scip/struct_history.h diff --git a/headers/scip/struct_implics.h b/include/scip/struct_implics.h similarity index 100% rename from headers/scip/struct_implics.h rename to include/scip/struct_implics.h diff --git a/headers/scip/struct_lp.h b/include/scip/struct_lp.h similarity index 100% rename from headers/scip/struct_lp.h rename to include/scip/struct_lp.h diff --git a/headers/scip/struct_matrix.h b/include/scip/struct_matrix.h similarity index 100% rename from headers/scip/struct_matrix.h rename to include/scip/struct_matrix.h diff --git a/headers/scip/struct_mem.h b/include/scip/struct_mem.h similarity index 100% rename from headers/scip/struct_mem.h rename to include/scip/struct_mem.h diff --git a/headers/scip/struct_message.h b/include/scip/struct_message.h similarity index 100% rename from headers/scip/struct_message.h rename to include/scip/struct_message.h diff --git a/headers/scip/struct_misc.h b/include/scip/struct_misc.h similarity index 100% rename from headers/scip/struct_misc.h rename to include/scip/struct_misc.h diff --git a/headers/scip/struct_nlhdlr.h b/include/scip/struct_nlhdlr.h similarity index 100% rename from headers/scip/struct_nlhdlr.h rename to include/scip/struct_nlhdlr.h diff --git a/headers/scip/struct_nlp.h b/include/scip/struct_nlp.h similarity index 100% rename from headers/scip/struct_nlp.h rename to include/scip/struct_nlp.h diff --git a/headers/scip/struct_nlpi.h b/include/scip/struct_nlpi.h similarity index 100% rename from headers/scip/struct_nlpi.h rename to include/scip/struct_nlpi.h diff --git a/headers/scip/struct_nodesel.h b/include/scip/struct_nodesel.h similarity index 100% rename from headers/scip/struct_nodesel.h rename to include/scip/struct_nodesel.h diff --git a/headers/scip/struct_paramset.h b/include/scip/struct_paramset.h similarity index 100% rename from headers/scip/struct_paramset.h rename to include/scip/struct_paramset.h diff --git a/headers/scip/struct_presol.h b/include/scip/struct_presol.h similarity index 100% rename from headers/scip/struct_presol.h rename to include/scip/struct_presol.h diff --git a/headers/scip/struct_pricer.h b/include/scip/struct_pricer.h similarity index 100% rename from headers/scip/struct_pricer.h rename to include/scip/struct_pricer.h diff --git a/headers/scip/struct_pricestore.h b/include/scip/struct_pricestore.h similarity index 100% rename from headers/scip/struct_pricestore.h rename to include/scip/struct_pricestore.h diff --git a/headers/scip/struct_primal.h b/include/scip/struct_primal.h similarity index 100% rename from headers/scip/struct_primal.h rename to include/scip/struct_primal.h diff --git a/headers/scip/struct_prob.h b/include/scip/struct_prob.h similarity index 100% rename from headers/scip/struct_prob.h rename to include/scip/struct_prob.h diff --git a/headers/scip/struct_prop.h b/include/scip/struct_prop.h similarity index 100% rename from headers/scip/struct_prop.h rename to include/scip/struct_prop.h diff --git a/headers/scip/struct_reader.h b/include/scip/struct_reader.h similarity index 100% rename from headers/scip/struct_reader.h rename to include/scip/struct_reader.h diff --git a/headers/scip/struct_relax.h b/include/scip/struct_relax.h similarity index 100% rename from headers/scip/struct_relax.h rename to include/scip/struct_relax.h diff --git a/headers/scip/struct_reopt.h b/include/scip/struct_reopt.h similarity index 100% rename from headers/scip/struct_reopt.h rename to include/scip/struct_reopt.h diff --git a/headers/scip/struct_scip.h b/include/scip/struct_scip.h similarity index 100% rename from headers/scip/struct_scip.h rename to include/scip/struct_scip.h diff --git a/headers/scip/struct_sepa.h b/include/scip/struct_sepa.h similarity index 100% rename from headers/scip/struct_sepa.h rename to include/scip/struct_sepa.h diff --git a/headers/scip/struct_sepastore.h b/include/scip/struct_sepastore.h similarity index 100% rename from headers/scip/struct_sepastore.h rename to include/scip/struct_sepastore.h diff --git a/headers/scip/struct_set.h b/include/scip/struct_set.h similarity index 100% rename from headers/scip/struct_set.h rename to include/scip/struct_set.h diff --git a/headers/scip/struct_sol.h b/include/scip/struct_sol.h similarity index 100% rename from headers/scip/struct_sol.h rename to include/scip/struct_sol.h diff --git a/headers/scip/struct_stat.h b/include/scip/struct_stat.h similarity index 100% rename from headers/scip/struct_stat.h rename to include/scip/struct_stat.h diff --git a/headers/scip/struct_syncstore.h b/include/scip/struct_syncstore.h similarity index 100% rename from headers/scip/struct_syncstore.h rename to include/scip/struct_syncstore.h diff --git a/headers/scip/struct_table.h b/include/scip/struct_table.h similarity index 100% rename from headers/scip/struct_table.h rename to include/scip/struct_table.h diff --git a/headers/scip/struct_tree.h b/include/scip/struct_tree.h similarity index 100% rename from headers/scip/struct_tree.h rename to include/scip/struct_tree.h diff --git a/headers/scip/struct_var.h b/include/scip/struct_var.h similarity index 100% rename from headers/scip/struct_var.h rename to include/scip/struct_var.h diff --git a/headers/scip/struct_visual.h b/include/scip/struct_visual.h similarity index 100% rename from headers/scip/struct_visual.h rename to include/scip/struct_visual.h diff --git a/headers/scip/symmetry.h b/include/scip/symmetry.h similarity index 100% rename from headers/scip/symmetry.h rename to include/scip/symmetry.h diff --git a/headers/scip/syncstore.h b/include/scip/syncstore.h similarity index 100% rename from headers/scip/syncstore.h rename to include/scip/syncstore.h diff --git a/headers/scip/table.h b/include/scip/table.h similarity index 100% rename from headers/scip/table.h rename to include/scip/table.h diff --git a/headers/scip/table_default.h b/include/scip/table_default.h similarity index 100% rename from headers/scip/table_default.h rename to include/scip/table_default.h diff --git a/headers/scip/tree.h b/include/scip/tree.h similarity index 100% rename from headers/scip/tree.h rename to include/scip/tree.h diff --git a/headers/scip/treemodel.h b/include/scip/treemodel.h similarity index 100% rename from headers/scip/treemodel.h rename to include/scip/treemodel.h diff --git a/headers/scip/type_bandit.h b/include/scip/type_bandit.h similarity index 100% rename from headers/scip/type_bandit.h rename to include/scip/type_bandit.h diff --git a/headers/scip/type_benders.h b/include/scip/type_benders.h similarity index 100% rename from headers/scip/type_benders.h rename to include/scip/type_benders.h diff --git a/headers/scip/type_benderscut.h b/include/scip/type_benderscut.h similarity index 100% rename from headers/scip/type_benderscut.h rename to include/scip/type_benderscut.h diff --git a/headers/scip/type_branch.h b/include/scip/type_branch.h similarity index 100% rename from headers/scip/type_branch.h rename to include/scip/type_branch.h diff --git a/headers/scip/type_clock.h b/include/scip/type_clock.h similarity index 100% rename from headers/scip/type_clock.h rename to include/scip/type_clock.h diff --git a/headers/scip/type_compr.h b/include/scip/type_compr.h similarity index 100% rename from headers/scip/type_compr.h rename to include/scip/type_compr.h diff --git a/headers/scip/type_concsolver.h b/include/scip/type_concsolver.h similarity index 100% rename from headers/scip/type_concsolver.h rename to include/scip/type_concsolver.h diff --git a/headers/scip/type_concurrent.h b/include/scip/type_concurrent.h similarity index 100% rename from headers/scip/type_concurrent.h rename to include/scip/type_concurrent.h diff --git a/headers/scip/type_conflict.h b/include/scip/type_conflict.h similarity index 100% rename from headers/scip/type_conflict.h rename to include/scip/type_conflict.h diff --git a/headers/scip/type_conflictstore.h b/include/scip/type_conflictstore.h similarity index 100% rename from headers/scip/type_conflictstore.h rename to include/scip/type_conflictstore.h diff --git a/headers/scip/type_cons.h b/include/scip/type_cons.h similarity index 100% rename from headers/scip/type_cons.h rename to include/scip/type_cons.h diff --git a/headers/scip/type_cutpool.h b/include/scip/type_cutpool.h similarity index 100% rename from headers/scip/type_cutpool.h rename to include/scip/type_cutpool.h diff --git a/headers/scip/type_cuts.h b/include/scip/type_cuts.h similarity index 100% rename from headers/scip/type_cuts.h rename to include/scip/type_cuts.h diff --git a/headers/scip/type_cutsel.h b/include/scip/type_cutsel.h similarity index 100% rename from headers/scip/type_cutsel.h rename to include/scip/type_cutsel.h diff --git a/headers/scip/type_dcmp.h b/include/scip/type_dcmp.h similarity index 100% rename from headers/scip/type_dcmp.h rename to include/scip/type_dcmp.h diff --git a/headers/scip/type_dialog.h b/include/scip/type_dialog.h similarity index 100% rename from headers/scip/type_dialog.h rename to include/scip/type_dialog.h diff --git a/headers/scip/type_disp.h b/include/scip/type_disp.h similarity index 100% rename from headers/scip/type_disp.h rename to include/scip/type_disp.h diff --git a/headers/scip/type_event.h b/include/scip/type_event.h similarity index 100% rename from headers/scip/type_event.h rename to include/scip/type_event.h diff --git a/headers/scip/type_expr.h b/include/scip/type_expr.h similarity index 100% rename from headers/scip/type_expr.h rename to include/scip/type_expr.h diff --git a/headers/scip/type_exprinterpret.h b/include/scip/type_exprinterpret.h similarity index 100% rename from headers/scip/type_exprinterpret.h rename to include/scip/type_exprinterpret.h diff --git a/headers/scip/type_heur.h b/include/scip/type_heur.h similarity index 100% rename from headers/scip/type_heur.h rename to include/scip/type_heur.h diff --git a/headers/scip/type_history.h b/include/scip/type_history.h similarity index 100% rename from headers/scip/type_history.h rename to include/scip/type_history.h diff --git a/headers/scip/type_implics.h b/include/scip/type_implics.h similarity index 100% rename from headers/scip/type_implics.h rename to include/scip/type_implics.h diff --git a/headers/scip/type_interrupt.h b/include/scip/type_interrupt.h similarity index 100% rename from headers/scip/type_interrupt.h rename to include/scip/type_interrupt.h diff --git a/headers/scip/type_lp.h b/include/scip/type_lp.h similarity index 100% rename from headers/scip/type_lp.h rename to include/scip/type_lp.h diff --git a/headers/scip/type_matrix.h b/include/scip/type_matrix.h similarity index 100% rename from headers/scip/type_matrix.h rename to include/scip/type_matrix.h diff --git a/headers/scip/type_mem.h b/include/scip/type_mem.h similarity index 100% rename from headers/scip/type_mem.h rename to include/scip/type_mem.h diff --git a/headers/scip/type_message.h b/include/scip/type_message.h similarity index 100% rename from headers/scip/type_message.h rename to include/scip/type_message.h diff --git a/headers/scip/type_misc.h b/include/scip/type_misc.h similarity index 100% rename from headers/scip/type_misc.h rename to include/scip/type_misc.h diff --git a/headers/scip/type_nlhdlr.h b/include/scip/type_nlhdlr.h similarity index 100% rename from headers/scip/type_nlhdlr.h rename to include/scip/type_nlhdlr.h diff --git a/headers/scip/type_nlp.h b/include/scip/type_nlp.h similarity index 100% rename from headers/scip/type_nlp.h rename to include/scip/type_nlp.h diff --git a/headers/scip/type_nlpi.h b/include/scip/type_nlpi.h similarity index 100% rename from headers/scip/type_nlpi.h rename to include/scip/type_nlpi.h diff --git a/headers/scip/type_nodesel.h b/include/scip/type_nodesel.h similarity index 100% rename from headers/scip/type_nodesel.h rename to include/scip/type_nodesel.h diff --git a/headers/scip/type_paramset.h b/include/scip/type_paramset.h similarity index 100% rename from headers/scip/type_paramset.h rename to include/scip/type_paramset.h diff --git a/headers/scip/type_presol.h b/include/scip/type_presol.h similarity index 100% rename from headers/scip/type_presol.h rename to include/scip/type_presol.h diff --git a/headers/scip/type_pricer.h b/include/scip/type_pricer.h similarity index 100% rename from headers/scip/type_pricer.h rename to include/scip/type_pricer.h diff --git a/headers/scip/type_pricestore.h b/include/scip/type_pricestore.h similarity index 100% rename from headers/scip/type_pricestore.h rename to include/scip/type_pricestore.h diff --git a/headers/scip/type_primal.h b/include/scip/type_primal.h similarity index 100% rename from headers/scip/type_primal.h rename to include/scip/type_primal.h diff --git a/headers/scip/type_prob.h b/include/scip/type_prob.h similarity index 100% rename from headers/scip/type_prob.h rename to include/scip/type_prob.h diff --git a/headers/scip/type_prop.h b/include/scip/type_prop.h similarity index 100% rename from headers/scip/type_prop.h rename to include/scip/type_prop.h diff --git a/headers/scip/type_reader.h b/include/scip/type_reader.h similarity index 100% rename from headers/scip/type_reader.h rename to include/scip/type_reader.h diff --git a/headers/scip/type_relax.h b/include/scip/type_relax.h similarity index 100% rename from headers/scip/type_relax.h rename to include/scip/type_relax.h diff --git a/headers/scip/type_reopt.h b/include/scip/type_reopt.h similarity index 100% rename from headers/scip/type_reopt.h rename to include/scip/type_reopt.h diff --git a/headers/scip/type_result.h b/include/scip/type_result.h similarity index 100% rename from headers/scip/type_result.h rename to include/scip/type_result.h diff --git a/headers/scip/type_retcode.h b/include/scip/type_retcode.h similarity index 100% rename from headers/scip/type_retcode.h rename to include/scip/type_retcode.h diff --git a/headers/scip/type_scip.h b/include/scip/type_scip.h similarity index 100% rename from headers/scip/type_scip.h rename to include/scip/type_scip.h diff --git a/headers/scip/type_sepa.h b/include/scip/type_sepa.h similarity index 100% rename from headers/scip/type_sepa.h rename to include/scip/type_sepa.h diff --git a/headers/scip/type_sepastore.h b/include/scip/type_sepastore.h similarity index 100% rename from headers/scip/type_sepastore.h rename to include/scip/type_sepastore.h diff --git a/headers/scip/type_set.h b/include/scip/type_set.h similarity index 100% rename from headers/scip/type_set.h rename to include/scip/type_set.h diff --git a/headers/scip/type_sol.h b/include/scip/type_sol.h similarity index 100% rename from headers/scip/type_sol.h rename to include/scip/type_sol.h diff --git a/headers/scip/type_stat.h b/include/scip/type_stat.h similarity index 100% rename from headers/scip/type_stat.h rename to include/scip/type_stat.h diff --git a/headers/scip/type_syncstore.h b/include/scip/type_syncstore.h similarity index 100% rename from headers/scip/type_syncstore.h rename to include/scip/type_syncstore.h diff --git a/headers/scip/type_table.h b/include/scip/type_table.h similarity index 100% rename from headers/scip/type_table.h rename to include/scip/type_table.h diff --git a/headers/scip/type_timing.h b/include/scip/type_timing.h similarity index 100% rename from headers/scip/type_timing.h rename to include/scip/type_timing.h diff --git a/headers/scip/type_tree.h b/include/scip/type_tree.h similarity index 100% rename from headers/scip/type_tree.h rename to include/scip/type_tree.h diff --git a/headers/scip/type_var.h b/include/scip/type_var.h similarity index 100% rename from headers/scip/type_var.h rename to include/scip/type_var.h diff --git a/headers/scip/type_visual.h b/include/scip/type_visual.h similarity index 100% rename from headers/scip/type_visual.h rename to include/scip/type_visual.h diff --git a/headers/scip/var.h b/include/scip/var.h similarity index 100% rename from headers/scip/var.h rename to include/scip/var.h diff --git a/headers/scip/visual.h b/include/scip/visual.h similarity index 100% rename from headers/scip/visual.h rename to include/scip/visual.h diff --git a/headers/soplex.h b/include/soplex.h similarity index 100% rename from headers/soplex.h rename to include/soplex.h diff --git a/headers/soplex.hpp b/include/soplex.hpp similarity index 100% rename from headers/soplex.hpp rename to include/soplex.hpp diff --git a/headers/soplex/array.h b/include/soplex/array.h similarity index 100% rename from headers/soplex/array.h rename to include/soplex/array.h diff --git a/headers/soplex/basevectors.h b/include/soplex/basevectors.h similarity index 100% rename from headers/soplex/basevectors.h rename to include/soplex/basevectors.h diff --git a/headers/soplex/changesoplex.hpp b/include/soplex/changesoplex.hpp similarity index 100% rename from headers/soplex/changesoplex.hpp rename to include/soplex/changesoplex.hpp diff --git a/headers/soplex/classarray.h b/include/soplex/classarray.h similarity index 100% rename from headers/soplex/classarray.h rename to include/soplex/classarray.h diff --git a/headers/soplex/classset.h b/include/soplex/classset.h similarity index 100% rename from headers/soplex/classset.h rename to include/soplex/classset.h diff --git a/headers/soplex/clufactor.h b/include/soplex/clufactor.h similarity index 100% rename from headers/soplex/clufactor.h rename to include/soplex/clufactor.h diff --git a/headers/soplex/clufactor.hpp b/include/soplex/clufactor.hpp similarity index 100% rename from headers/soplex/clufactor.hpp rename to include/soplex/clufactor.hpp diff --git a/headers/soplex/clufactor_rational.h b/include/soplex/clufactor_rational.h similarity index 100% rename from headers/soplex/clufactor_rational.h rename to include/soplex/clufactor_rational.h diff --git a/headers/soplex/clufactor_rational.hpp b/include/soplex/clufactor_rational.hpp similarity index 100% rename from headers/soplex/clufactor_rational.hpp rename to include/soplex/clufactor_rational.hpp diff --git a/headers/soplex/config.h b/include/soplex/config.h similarity index 100% rename from headers/soplex/config.h rename to include/soplex/config.h diff --git a/headers/soplex/cring.h b/include/soplex/cring.h similarity index 100% rename from headers/soplex/cring.h rename to include/soplex/cring.h diff --git a/headers/soplex/dataarray.h b/include/soplex/dataarray.h similarity index 100% rename from headers/soplex/dataarray.h rename to include/soplex/dataarray.h diff --git a/headers/soplex/datahashtable.h b/include/soplex/datahashtable.h similarity index 100% rename from headers/soplex/datahashtable.h rename to include/soplex/datahashtable.h diff --git a/headers/soplex/datakey.h b/include/soplex/datakey.h similarity index 100% rename from headers/soplex/datakey.h rename to include/soplex/datakey.h diff --git a/headers/soplex/dataset.h b/include/soplex/dataset.h similarity index 100% rename from headers/soplex/dataset.h rename to include/soplex/dataset.h diff --git a/headers/soplex/didxset.h b/include/soplex/didxset.h similarity index 100% rename from headers/soplex/didxset.h rename to include/soplex/didxset.h diff --git a/headers/soplex/dsvector.h b/include/soplex/dsvector.h similarity index 100% rename from headers/soplex/dsvector.h rename to include/soplex/dsvector.h diff --git a/headers/soplex/dsvectorbase.h b/include/soplex/dsvectorbase.h similarity index 100% rename from headers/soplex/dsvectorbase.h rename to include/soplex/dsvectorbase.h diff --git a/headers/soplex/dvector.h b/include/soplex/dvector.h similarity index 100% rename from headers/soplex/dvector.h rename to include/soplex/dvector.h diff --git a/headers/soplex/enter.hpp b/include/soplex/enter.hpp similarity index 100% rename from headers/soplex/enter.hpp rename to include/soplex/enter.hpp diff --git a/headers/soplex/exceptions.h b/include/soplex/exceptions.h similarity index 100% rename from headers/soplex/exceptions.h rename to include/soplex/exceptions.h diff --git a/headers/soplex/gzstream.h b/include/soplex/gzstream.h similarity index 100% rename from headers/soplex/gzstream.h rename to include/soplex/gzstream.h diff --git a/headers/soplex/idlist.h b/include/soplex/idlist.h similarity index 100% rename from headers/soplex/idlist.h rename to include/soplex/idlist.h diff --git a/headers/soplex/idxset.h b/include/soplex/idxset.h similarity index 100% rename from headers/soplex/idxset.h rename to include/soplex/idxset.h diff --git a/headers/soplex/islist.h b/include/soplex/islist.h similarity index 100% rename from headers/soplex/islist.h rename to include/soplex/islist.h diff --git a/headers/soplex/leave.hpp b/include/soplex/leave.hpp similarity index 100% rename from headers/soplex/leave.hpp rename to include/soplex/leave.hpp diff --git a/headers/soplex/lpcol.h b/include/soplex/lpcol.h similarity index 100% rename from headers/soplex/lpcol.h rename to include/soplex/lpcol.h diff --git a/headers/soplex/lpcolbase.h b/include/soplex/lpcolbase.h similarity index 100% rename from headers/soplex/lpcolbase.h rename to include/soplex/lpcolbase.h diff --git a/headers/soplex/lpcolset.h b/include/soplex/lpcolset.h similarity index 100% rename from headers/soplex/lpcolset.h rename to include/soplex/lpcolset.h diff --git a/headers/soplex/lpcolsetbase.h b/include/soplex/lpcolsetbase.h similarity index 100% rename from headers/soplex/lpcolsetbase.h rename to include/soplex/lpcolsetbase.h diff --git a/headers/soplex/lprow.h b/include/soplex/lprow.h similarity index 100% rename from headers/soplex/lprow.h rename to include/soplex/lprow.h diff --git a/headers/soplex/lprowbase.h b/include/soplex/lprowbase.h similarity index 100% rename from headers/soplex/lprowbase.h rename to include/soplex/lprowbase.h diff --git a/headers/soplex/lprowset.h b/include/soplex/lprowset.h similarity index 100% rename from headers/soplex/lprowset.h rename to include/soplex/lprowset.h diff --git a/headers/soplex/lprowsetbase.h b/include/soplex/lprowsetbase.h similarity index 100% rename from headers/soplex/lprowsetbase.h rename to include/soplex/lprowsetbase.h diff --git a/headers/soplex/mpsinput.h b/include/soplex/mpsinput.h similarity index 100% rename from headers/soplex/mpsinput.h rename to include/soplex/mpsinput.h diff --git a/headers/soplex/nameset.h b/include/soplex/nameset.h similarity index 100% rename from headers/soplex/nameset.h rename to include/soplex/nameset.h diff --git a/headers/soplex/notimer.h b/include/soplex/notimer.h similarity index 100% rename from headers/soplex/notimer.h rename to include/soplex/notimer.h diff --git a/headers/soplex/random.h b/include/soplex/random.h similarity index 100% rename from headers/soplex/random.h rename to include/soplex/random.h diff --git a/headers/soplex/rational.h b/include/soplex/rational.h similarity index 100% rename from headers/soplex/rational.h rename to include/soplex/rational.h diff --git a/headers/soplex/ratrecon.h b/include/soplex/ratrecon.h similarity index 100% rename from headers/soplex/ratrecon.h rename to include/soplex/ratrecon.h diff --git a/headers/soplex/ratrecon.hpp b/include/soplex/ratrecon.hpp similarity index 100% rename from headers/soplex/ratrecon.hpp rename to include/soplex/ratrecon.hpp diff --git a/headers/soplex/slinsolver.h b/include/soplex/slinsolver.h similarity index 100% rename from headers/soplex/slinsolver.h rename to include/soplex/slinsolver.h diff --git a/headers/soplex/slinsolver_rational.h b/include/soplex/slinsolver_rational.h similarity index 100% rename from headers/soplex/slinsolver_rational.h rename to include/soplex/slinsolver_rational.h diff --git a/headers/soplex/slufactor.h b/include/soplex/slufactor.h similarity index 100% rename from headers/soplex/slufactor.h rename to include/soplex/slufactor.h diff --git a/headers/soplex/slufactor.hpp b/include/soplex/slufactor.hpp similarity index 100% rename from headers/soplex/slufactor.hpp rename to include/soplex/slufactor.hpp diff --git a/headers/soplex/slufactor_rational.h b/include/soplex/slufactor_rational.h similarity index 100% rename from headers/soplex/slufactor_rational.h rename to include/soplex/slufactor_rational.h diff --git a/headers/soplex/slufactor_rational.hpp b/include/soplex/slufactor_rational.hpp similarity index 100% rename from headers/soplex/slufactor_rational.hpp rename to include/soplex/slufactor_rational.hpp diff --git a/headers/soplex/sol.h b/include/soplex/sol.h similarity index 100% rename from headers/soplex/sol.h rename to include/soplex/sol.h diff --git a/headers/soplex/solbase.h b/include/soplex/solbase.h similarity index 100% rename from headers/soplex/solbase.h rename to include/soplex/solbase.h diff --git a/headers/soplex/solvedbds.hpp b/include/soplex/solvedbds.hpp similarity index 100% rename from headers/soplex/solvedbds.hpp rename to include/soplex/solvedbds.hpp diff --git a/headers/soplex/solverational.hpp b/include/soplex/solverational.hpp similarity index 100% rename from headers/soplex/solverational.hpp rename to include/soplex/solverational.hpp diff --git a/headers/soplex/solvereal.hpp b/include/soplex/solvereal.hpp similarity index 100% rename from headers/soplex/solvereal.hpp rename to include/soplex/solvereal.hpp diff --git a/headers/soplex/sorter.h b/include/soplex/sorter.h similarity index 100% rename from headers/soplex/sorter.h rename to include/soplex/sorter.h diff --git a/headers/soplex/spxalloc.h b/include/soplex/spxalloc.h similarity index 100% rename from headers/soplex/spxalloc.h rename to include/soplex/spxalloc.h diff --git a/headers/soplex/spxautopr.h b/include/soplex/spxautopr.h similarity index 100% rename from headers/soplex/spxautopr.h rename to include/soplex/spxautopr.h diff --git a/headers/soplex/spxautopr.hpp b/include/soplex/spxautopr.hpp similarity index 100% rename from headers/soplex/spxautopr.hpp rename to include/soplex/spxautopr.hpp diff --git a/headers/soplex/spxbasis.h b/include/soplex/spxbasis.h similarity index 100% rename from headers/soplex/spxbasis.h rename to include/soplex/spxbasis.h diff --git a/headers/soplex/spxbasis.hpp b/include/soplex/spxbasis.hpp similarity index 100% rename from headers/soplex/spxbasis.hpp rename to include/soplex/spxbasis.hpp diff --git a/headers/soplex/spxboundflippingrt.h b/include/soplex/spxboundflippingrt.h similarity index 100% rename from headers/soplex/spxboundflippingrt.h rename to include/soplex/spxboundflippingrt.h diff --git a/headers/soplex/spxboundflippingrt.hpp b/include/soplex/spxboundflippingrt.hpp similarity index 100% rename from headers/soplex/spxboundflippingrt.hpp rename to include/soplex/spxboundflippingrt.hpp diff --git a/headers/soplex/spxbounds.hpp b/include/soplex/spxbounds.hpp similarity index 100% rename from headers/soplex/spxbounds.hpp rename to include/soplex/spxbounds.hpp diff --git a/headers/soplex/spxchangebasis.hpp b/include/soplex/spxchangebasis.hpp similarity index 100% rename from headers/soplex/spxchangebasis.hpp rename to include/soplex/spxchangebasis.hpp diff --git a/headers/soplex/spxdantzigpr.h b/include/soplex/spxdantzigpr.h similarity index 100% rename from headers/soplex/spxdantzigpr.h rename to include/soplex/spxdantzigpr.h diff --git a/headers/soplex/spxdantzigpr.hpp b/include/soplex/spxdantzigpr.hpp similarity index 100% rename from headers/soplex/spxdantzigpr.hpp rename to include/soplex/spxdantzigpr.hpp diff --git a/headers/soplex/spxdefaultrt.h b/include/soplex/spxdefaultrt.h similarity index 100% rename from headers/soplex/spxdefaultrt.h rename to include/soplex/spxdefaultrt.h diff --git a/headers/soplex/spxdefaultrt.hpp b/include/soplex/spxdefaultrt.hpp similarity index 100% rename from headers/soplex/spxdefaultrt.hpp rename to include/soplex/spxdefaultrt.hpp diff --git a/headers/soplex/spxdefines.h b/include/soplex/spxdefines.h similarity index 100% rename from headers/soplex/spxdefines.h rename to include/soplex/spxdefines.h diff --git a/headers/soplex/spxdefines.hpp b/include/soplex/spxdefines.hpp similarity index 100% rename from headers/soplex/spxdefines.hpp rename to include/soplex/spxdefines.hpp diff --git a/headers/soplex/spxdesc.hpp b/include/soplex/spxdesc.hpp similarity index 100% rename from headers/soplex/spxdesc.hpp rename to include/soplex/spxdesc.hpp diff --git a/headers/soplex/spxdevexpr.h b/include/soplex/spxdevexpr.h similarity index 100% rename from headers/soplex/spxdevexpr.h rename to include/soplex/spxdevexpr.h diff --git a/headers/soplex/spxdevexpr.hpp b/include/soplex/spxdevexpr.hpp similarity index 100% rename from headers/soplex/spxdevexpr.hpp rename to include/soplex/spxdevexpr.hpp diff --git a/headers/soplex/spxequilisc.h b/include/soplex/spxequilisc.h similarity index 100% rename from headers/soplex/spxequilisc.h rename to include/soplex/spxequilisc.h diff --git a/headers/soplex/spxequilisc.hpp b/include/soplex/spxequilisc.hpp similarity index 100% rename from headers/soplex/spxequilisc.hpp rename to include/soplex/spxequilisc.hpp diff --git a/headers/soplex/spxfastrt.h b/include/soplex/spxfastrt.h similarity index 100% rename from headers/soplex/spxfastrt.h rename to include/soplex/spxfastrt.h diff --git a/headers/soplex/spxfastrt.hpp b/include/soplex/spxfastrt.hpp similarity index 100% rename from headers/soplex/spxfastrt.hpp rename to include/soplex/spxfastrt.hpp diff --git a/headers/soplex/spxfileio.h b/include/soplex/spxfileio.h similarity index 100% rename from headers/soplex/spxfileio.h rename to include/soplex/spxfileio.h diff --git a/headers/soplex/spxfileio.hpp b/include/soplex/spxfileio.hpp similarity index 100% rename from headers/soplex/spxfileio.hpp rename to include/soplex/spxfileio.hpp diff --git a/headers/soplex/spxgeometsc.h b/include/soplex/spxgeometsc.h similarity index 100% rename from headers/soplex/spxgeometsc.h rename to include/soplex/spxgeometsc.h diff --git a/headers/soplex/spxgeometsc.hpp b/include/soplex/spxgeometsc.hpp similarity index 100% rename from headers/soplex/spxgeometsc.hpp rename to include/soplex/spxgeometsc.hpp diff --git a/headers/soplex/spxgithash.h b/include/soplex/spxgithash.h similarity index 100% rename from headers/soplex/spxgithash.h rename to include/soplex/spxgithash.h diff --git a/headers/soplex/spxharrisrt.h b/include/soplex/spxharrisrt.h similarity index 100% rename from headers/soplex/spxharrisrt.h rename to include/soplex/spxharrisrt.h diff --git a/headers/soplex/spxharrisrt.hpp b/include/soplex/spxharrisrt.hpp similarity index 100% rename from headers/soplex/spxharrisrt.hpp rename to include/soplex/spxharrisrt.hpp diff --git a/headers/soplex/spxhybridpr.h b/include/soplex/spxhybridpr.h similarity index 100% rename from headers/soplex/spxhybridpr.h rename to include/soplex/spxhybridpr.h diff --git a/headers/soplex/spxhybridpr.hpp b/include/soplex/spxhybridpr.hpp similarity index 100% rename from headers/soplex/spxhybridpr.hpp rename to include/soplex/spxhybridpr.hpp diff --git a/headers/soplex/spxid.h b/include/soplex/spxid.h similarity index 100% rename from headers/soplex/spxid.h rename to include/soplex/spxid.h diff --git a/headers/soplex/spxleastsqsc.h b/include/soplex/spxleastsqsc.h similarity index 100% rename from headers/soplex/spxleastsqsc.h rename to include/soplex/spxleastsqsc.h diff --git a/headers/soplex/spxleastsqsc.hpp b/include/soplex/spxleastsqsc.hpp similarity index 100% rename from headers/soplex/spxleastsqsc.hpp rename to include/soplex/spxleastsqsc.hpp diff --git a/headers/soplex/spxlp.h b/include/soplex/spxlp.h similarity index 100% rename from headers/soplex/spxlp.h rename to include/soplex/spxlp.h diff --git a/headers/soplex/spxlpbase.h b/include/soplex/spxlpbase.h similarity index 100% rename from headers/soplex/spxlpbase.h rename to include/soplex/spxlpbase.h diff --git a/headers/soplex/spxlpbase_rational.hpp b/include/soplex/spxlpbase_rational.hpp similarity index 100% rename from headers/soplex/spxlpbase_rational.hpp rename to include/soplex/spxlpbase_rational.hpp diff --git a/headers/soplex/spxlpbase_real.hpp b/include/soplex/spxlpbase_real.hpp similarity index 100% rename from headers/soplex/spxlpbase_real.hpp rename to include/soplex/spxlpbase_real.hpp diff --git a/headers/soplex/spxmainsm.h b/include/soplex/spxmainsm.h similarity index 100% rename from headers/soplex/spxmainsm.h rename to include/soplex/spxmainsm.h diff --git a/headers/soplex/spxmainsm.hpp b/include/soplex/spxmainsm.hpp similarity index 100% rename from headers/soplex/spxmainsm.hpp rename to include/soplex/spxmainsm.hpp diff --git a/headers/soplex/spxout.h b/include/soplex/spxout.h similarity index 100% rename from headers/soplex/spxout.h rename to include/soplex/spxout.h diff --git a/headers/soplex/spxpapilo.h b/include/soplex/spxpapilo.h similarity index 100% rename from headers/soplex/spxpapilo.h rename to include/soplex/spxpapilo.h diff --git a/headers/soplex/spxparmultpr.h b/include/soplex/spxparmultpr.h similarity index 100% rename from headers/soplex/spxparmultpr.h rename to include/soplex/spxparmultpr.h diff --git a/headers/soplex/spxparmultpr.hpp b/include/soplex/spxparmultpr.hpp similarity index 100% rename from headers/soplex/spxparmultpr.hpp rename to include/soplex/spxparmultpr.hpp diff --git a/headers/soplex/spxpricer.h b/include/soplex/spxpricer.h similarity index 100% rename from headers/soplex/spxpricer.h rename to include/soplex/spxpricer.h diff --git a/headers/soplex/spxquality.hpp b/include/soplex/spxquality.hpp similarity index 100% rename from headers/soplex/spxquality.hpp rename to include/soplex/spxquality.hpp diff --git a/headers/soplex/spxratiotester.h b/include/soplex/spxratiotester.h similarity index 100% rename from headers/soplex/spxratiotester.h rename to include/soplex/spxratiotester.h diff --git a/headers/soplex/spxscaler.h b/include/soplex/spxscaler.h similarity index 100% rename from headers/soplex/spxscaler.h rename to include/soplex/spxscaler.h diff --git a/headers/soplex/spxscaler.hpp b/include/soplex/spxscaler.hpp similarity index 100% rename from headers/soplex/spxscaler.hpp rename to include/soplex/spxscaler.hpp diff --git a/headers/soplex/spxshift.hpp b/include/soplex/spxshift.hpp similarity index 100% rename from headers/soplex/spxshift.hpp rename to include/soplex/spxshift.hpp diff --git a/headers/soplex/spxsimplifier.h b/include/soplex/spxsimplifier.h similarity index 100% rename from headers/soplex/spxsimplifier.h rename to include/soplex/spxsimplifier.h diff --git a/headers/soplex/spxsolve.hpp b/include/soplex/spxsolve.hpp similarity index 100% rename from headers/soplex/spxsolve.hpp rename to include/soplex/spxsolve.hpp diff --git a/headers/soplex/spxsolver.h b/include/soplex/spxsolver.h similarity index 100% rename from headers/soplex/spxsolver.h rename to include/soplex/spxsolver.h diff --git a/headers/soplex/spxsolver.hpp b/include/soplex/spxsolver.hpp similarity index 100% rename from headers/soplex/spxsolver.hpp rename to include/soplex/spxsolver.hpp diff --git a/headers/soplex/spxstarter.h b/include/soplex/spxstarter.h similarity index 100% rename from headers/soplex/spxstarter.h rename to include/soplex/spxstarter.h diff --git a/headers/soplex/spxstarter.hpp b/include/soplex/spxstarter.hpp similarity index 100% rename from headers/soplex/spxstarter.hpp rename to include/soplex/spxstarter.hpp diff --git a/headers/soplex/spxsteepexpr.h b/include/soplex/spxsteepexpr.h similarity index 100% rename from headers/soplex/spxsteepexpr.h rename to include/soplex/spxsteepexpr.h diff --git a/headers/soplex/spxsteeppr.h b/include/soplex/spxsteeppr.h similarity index 100% rename from headers/soplex/spxsteeppr.h rename to include/soplex/spxsteeppr.h diff --git a/headers/soplex/spxsteeppr.hpp b/include/soplex/spxsteeppr.hpp similarity index 100% rename from headers/soplex/spxsteeppr.hpp rename to include/soplex/spxsteeppr.hpp diff --git a/headers/soplex/spxsumst.h b/include/soplex/spxsumst.h similarity index 100% rename from headers/soplex/spxsumst.h rename to include/soplex/spxsumst.h diff --git a/headers/soplex/spxsumst.hpp b/include/soplex/spxsumst.hpp similarity index 100% rename from headers/soplex/spxsumst.hpp rename to include/soplex/spxsumst.hpp diff --git a/headers/soplex/spxvecs.hpp b/include/soplex/spxvecs.hpp similarity index 100% rename from headers/soplex/spxvecs.hpp rename to include/soplex/spxvecs.hpp diff --git a/headers/soplex/spxvectorst.h b/include/soplex/spxvectorst.h similarity index 100% rename from headers/soplex/spxvectorst.h rename to include/soplex/spxvectorst.h diff --git a/headers/soplex/spxvectorst.hpp b/include/soplex/spxvectorst.hpp similarity index 100% rename from headers/soplex/spxvectorst.hpp rename to include/soplex/spxvectorst.hpp diff --git a/headers/soplex/spxweightpr.h b/include/soplex/spxweightpr.h similarity index 100% rename from headers/soplex/spxweightpr.h rename to include/soplex/spxweightpr.h diff --git a/headers/soplex/spxweightpr.hpp b/include/soplex/spxweightpr.hpp similarity index 100% rename from headers/soplex/spxweightpr.hpp rename to include/soplex/spxweightpr.hpp diff --git a/headers/soplex/spxweightst.h b/include/soplex/spxweightst.h similarity index 100% rename from headers/soplex/spxweightst.h rename to include/soplex/spxweightst.h diff --git a/headers/soplex/spxweightst.hpp b/include/soplex/spxweightst.hpp similarity index 100% rename from headers/soplex/spxweightst.hpp rename to include/soplex/spxweightst.hpp diff --git a/headers/soplex/spxwritestate.hpp b/include/soplex/spxwritestate.hpp similarity index 100% rename from headers/soplex/spxwritestate.hpp rename to include/soplex/spxwritestate.hpp diff --git a/headers/soplex/ssvector.h b/include/soplex/ssvector.h similarity index 100% rename from headers/soplex/ssvector.h rename to include/soplex/ssvector.h diff --git a/headers/soplex/ssvectorbase.h b/include/soplex/ssvectorbase.h similarity index 100% rename from headers/soplex/ssvectorbase.h rename to include/soplex/ssvectorbase.h diff --git a/headers/soplex/stablesum.h b/include/soplex/stablesum.h similarity index 100% rename from headers/soplex/stablesum.h rename to include/soplex/stablesum.h diff --git a/headers/soplex/statistics.h b/include/soplex/statistics.h similarity index 100% rename from headers/soplex/statistics.h rename to include/soplex/statistics.h diff --git a/headers/soplex/statistics.hpp b/include/soplex/statistics.hpp similarity index 100% rename from headers/soplex/statistics.hpp rename to include/soplex/statistics.hpp diff --git a/headers/soplex/svector.h b/include/soplex/svector.h similarity index 100% rename from headers/soplex/svector.h rename to include/soplex/svector.h diff --git a/headers/soplex/svectorbase.h b/include/soplex/svectorbase.h similarity index 100% rename from headers/soplex/svectorbase.h rename to include/soplex/svectorbase.h diff --git a/headers/soplex/svset.h b/include/soplex/svset.h similarity index 100% rename from headers/soplex/svset.h rename to include/soplex/svset.h diff --git a/headers/soplex/svsetbase.h b/include/soplex/svsetbase.h similarity index 100% rename from headers/soplex/svsetbase.h rename to include/soplex/svsetbase.h diff --git a/headers/soplex/testsoplex.hpp b/include/soplex/testsoplex.hpp similarity index 100% rename from headers/soplex/testsoplex.hpp rename to include/soplex/testsoplex.hpp diff --git a/headers/soplex/timer.h b/include/soplex/timer.h similarity index 100% rename from headers/soplex/timer.h rename to include/soplex/timer.h diff --git a/headers/soplex/timerfactory.h b/include/soplex/timerfactory.h similarity index 100% rename from headers/soplex/timerfactory.h rename to include/soplex/timerfactory.h diff --git a/headers/soplex/unitvector.h b/include/soplex/unitvector.h similarity index 100% rename from headers/soplex/unitvector.h rename to include/soplex/unitvector.h diff --git a/headers/soplex/unitvectorbase.h b/include/soplex/unitvectorbase.h similarity index 100% rename from headers/soplex/unitvectorbase.h rename to include/soplex/unitvectorbase.h diff --git a/headers/soplex/updatevector.h b/include/soplex/updatevector.h similarity index 100% rename from headers/soplex/updatevector.h rename to include/soplex/updatevector.h diff --git a/headers/soplex/updatevector.hpp b/include/soplex/updatevector.hpp similarity index 100% rename from headers/soplex/updatevector.hpp rename to include/soplex/updatevector.hpp diff --git a/headers/soplex/usertimer.h b/include/soplex/usertimer.h similarity index 100% rename from headers/soplex/usertimer.h rename to include/soplex/usertimer.h diff --git a/headers/soplex/validation.h b/include/soplex/validation.h similarity index 100% rename from headers/soplex/validation.h rename to include/soplex/validation.h diff --git a/headers/soplex/validation.hpp b/include/soplex/validation.hpp similarity index 100% rename from headers/soplex/validation.hpp rename to include/soplex/validation.hpp diff --git a/headers/soplex/vector.h b/include/soplex/vector.h similarity index 100% rename from headers/soplex/vector.h rename to include/soplex/vector.h diff --git a/headers/soplex/vectorbase.h b/include/soplex/vectorbase.h similarity index 100% rename from headers/soplex/vectorbase.h rename to include/soplex/vectorbase.h diff --git a/headers/soplex/wallclocktimer.h b/include/soplex/wallclocktimer.h similarity index 100% rename from headers/soplex/wallclocktimer.h rename to include/soplex/wallclocktimer.h diff --git a/headers/soplex_interface.h b/include/soplex_interface.h similarity index 100% rename from headers/soplex_interface.h rename to include/soplex_interface.h diff --git a/headers/symmetry/compute_symmetry.h b/include/symmetry/compute_symmetry.h similarity index 100% rename from headers/symmetry/compute_symmetry.h rename to include/symmetry/compute_symmetry.h diff --git a/headers/symmetry/type_symmetry.h b/include/symmetry/type_symmetry.h similarity index 100% rename from headers/symmetry/type_symmetry.h rename to include/symmetry/type_symmetry.h diff --git a/headers/tclique/tclique.h b/include/tclique/tclique.h similarity index 100% rename from headers/tclique/tclique.h rename to include/tclique/tclique.h diff --git a/headers/tclique/tclique_coloring.h b/include/tclique/tclique_coloring.h similarity index 100% rename from headers/tclique/tclique_coloring.h rename to include/tclique/tclique_coloring.h diff --git a/headers/tclique/tclique_def.h b/include/tclique/tclique_def.h similarity index 100% rename from headers/tclique/tclique_def.h rename to include/tclique/tclique_def.h diff --git a/headers/tinycthread/tinycthread.h b/include/tinycthread/tinycthread.h similarity index 100% rename from headers/tinycthread/tinycthread.h rename to include/tinycthread/tinycthread.h diff --git a/headers/tpi/def_openmp.h b/include/tpi/def_openmp.h similarity index 100% rename from headers/tpi/def_openmp.h rename to include/tpi/def_openmp.h diff --git a/headers/tpi/tpi.h b/include/tpi/tpi.h similarity index 100% rename from headers/tpi/tpi.h rename to include/tpi/tpi.h diff --git a/headers/tpi/tpi_none.h b/include/tpi/tpi_none.h similarity index 100% rename from headers/tpi/tpi_none.h rename to include/tpi/tpi_none.h diff --git a/headers/tpi/tpi_openmp.h b/include/tpi/tpi_openmp.h similarity index 100% rename from headers/tpi/tpi_openmp.h rename to include/tpi/tpi_openmp.h diff --git a/headers/tpi/tpi_tnycthrd.h b/include/tpi/tpi_tnycthrd.h similarity index 100% rename from headers/tpi/tpi_tnycthrd.h rename to include/tpi/tpi_tnycthrd.h diff --git a/headers/tpi/type_tpi.h b/include/tpi/type_tpi.h similarity index 100% rename from headers/tpi/type_tpi.h rename to include/tpi/type_tpi.h diff --git a/headers/tpi/type_tpi_none.h b/include/tpi/type_tpi_none.h similarity index 100% rename from headers/tpi/type_tpi_none.h rename to include/tpi/type_tpi_none.h diff --git a/headers/tpi/type_tpi_openmp.h b/include/tpi/type_tpi_openmp.h similarity index 100% rename from headers/tpi/type_tpi_openmp.h rename to include/tpi/type_tpi_openmp.h diff --git a/headers/tpi/type_tpi_tnycthrd.h b/include/tpi/type_tpi_tnycthrd.h similarity index 100% rename from headers/tpi/type_tpi_tnycthrd.h rename to include/tpi/type_tpi_tnycthrd.h diff --git a/headers/xml/xml.h b/include/xml/xml.h similarity index 100% rename from headers/xml/xml.h rename to include/xml/xml.h diff --git a/headers/xml/xmldef.h b/include/xml/xmldef.h similarity index 100% rename from headers/xml/xmldef.h rename to include/xml/xmldef.h diff --git a/headers/zimpl/attribute.h b/include/zimpl/attribute.h similarity index 100% rename from headers/zimpl/attribute.h rename to include/zimpl/attribute.h diff --git a/headers/zimpl/blkmem.h b/include/zimpl/blkmem.h similarity index 100% rename from headers/zimpl/blkmem.h rename to include/zimpl/blkmem.h diff --git a/headers/zimpl/bound.h b/include/zimpl/bound.h similarity index 100% rename from headers/zimpl/bound.h rename to include/zimpl/bound.h diff --git a/headers/zimpl/code.h b/include/zimpl/code.h similarity index 100% rename from headers/zimpl/code.h rename to include/zimpl/code.h diff --git a/headers/zimpl/conname.h b/include/zimpl/conname.h similarity index 100% rename from headers/zimpl/conname.h rename to include/zimpl/conname.h diff --git a/headers/zimpl/define.h b/include/zimpl/define.h similarity index 100% rename from headers/zimpl/define.h rename to include/zimpl/define.h diff --git a/headers/zimpl/elem.h b/include/zimpl/elem.h similarity index 100% rename from headers/zimpl/elem.h rename to include/zimpl/elem.h diff --git a/headers/zimpl/entry.h b/include/zimpl/entry.h similarity index 100% rename from headers/zimpl/entry.h rename to include/zimpl/entry.h diff --git a/headers/zimpl/gmpmisc.h b/include/zimpl/gmpmisc.h similarity index 100% rename from headers/zimpl/gmpmisc.h rename to include/zimpl/gmpmisc.h diff --git a/headers/zimpl/hash.h b/include/zimpl/hash.h similarity index 100% rename from headers/zimpl/hash.h rename to include/zimpl/hash.h diff --git a/headers/zimpl/heap.h b/include/zimpl/heap.h similarity index 100% rename from headers/zimpl/heap.h rename to include/zimpl/heap.h diff --git a/headers/zimpl/idxset.h b/include/zimpl/idxset.h similarity index 100% rename from headers/zimpl/idxset.h rename to include/zimpl/idxset.h diff --git a/headers/zimpl/inst.h b/include/zimpl/inst.h similarity index 100% rename from headers/zimpl/inst.h rename to include/zimpl/inst.h diff --git a/headers/zimpl/lint.h b/include/zimpl/lint.h similarity index 100% rename from headers/zimpl/lint.h rename to include/zimpl/lint.h diff --git a/headers/zimpl/list.h b/include/zimpl/list.h similarity index 100% rename from headers/zimpl/list.h rename to include/zimpl/list.h diff --git a/headers/zimpl/local.h b/include/zimpl/local.h similarity index 100% rename from headers/zimpl/local.h rename to include/zimpl/local.h diff --git a/headers/zimpl/metaio.h b/include/zimpl/metaio.h similarity index 100% rename from headers/zimpl/metaio.h rename to include/zimpl/metaio.h diff --git a/headers/zimpl/mme.h b/include/zimpl/mme.h similarity index 100% rename from headers/zimpl/mme.h rename to include/zimpl/mme.h diff --git a/headers/zimpl/mmlparse2.h b/include/zimpl/mmlparse2.h similarity index 100% rename from headers/zimpl/mmlparse2.h rename to include/zimpl/mmlparse2.h diff --git a/headers/zimpl/mono.h b/include/zimpl/mono.h similarity index 100% rename from headers/zimpl/mono.h rename to include/zimpl/mono.h diff --git a/headers/zimpl/mshell.h b/include/zimpl/mshell.h similarity index 100% rename from headers/zimpl/mshell.h rename to include/zimpl/mshell.h diff --git a/headers/zimpl/numb.h b/include/zimpl/numb.h similarity index 100% rename from headers/zimpl/numb.h rename to include/zimpl/numb.h diff --git a/headers/zimpl/prog.h b/include/zimpl/prog.h similarity index 100% rename from headers/zimpl/prog.h rename to include/zimpl/prog.h diff --git a/headers/zimpl/random.h b/include/zimpl/random.h similarity index 100% rename from headers/zimpl/random.h rename to include/zimpl/random.h diff --git a/headers/zimpl/ratlp.h b/include/zimpl/ratlp.h similarity index 100% rename from headers/zimpl/ratlp.h rename to include/zimpl/ratlp.h diff --git a/headers/zimpl/ratlpstore.h b/include/zimpl/ratlpstore.h similarity index 100% rename from headers/zimpl/ratlpstore.h rename to include/zimpl/ratlpstore.h diff --git a/headers/zimpl/ratlptypes.h b/include/zimpl/ratlptypes.h similarity index 100% rename from headers/zimpl/ratlptypes.h rename to include/zimpl/ratlptypes.h diff --git a/headers/zimpl/rdefpar.h b/include/zimpl/rdefpar.h similarity index 100% rename from headers/zimpl/rdefpar.h rename to include/zimpl/rdefpar.h diff --git a/headers/zimpl/set.h b/include/zimpl/set.h similarity index 100% rename from headers/zimpl/set.h rename to include/zimpl/set.h diff --git a/headers/zimpl/set4.h b/include/zimpl/set4.h similarity index 100% rename from headers/zimpl/set4.h rename to include/zimpl/set4.h diff --git a/headers/zimpl/stkchk.h b/include/zimpl/stkchk.h similarity index 100% rename from headers/zimpl/stkchk.h rename to include/zimpl/stkchk.h diff --git a/headers/zimpl/stmt.h b/include/zimpl/stmt.h similarity index 100% rename from headers/zimpl/stmt.h rename to include/zimpl/stmt.h diff --git a/headers/zimpl/strstore.h b/include/zimpl/strstore.h similarity index 100% rename from headers/zimpl/strstore.h rename to include/zimpl/strstore.h diff --git a/headers/zimpl/symbol.h b/include/zimpl/symbol.h similarity index 100% rename from headers/zimpl/symbol.h rename to include/zimpl/symbol.h diff --git a/headers/zimpl/term.h b/include/zimpl/term.h similarity index 100% rename from headers/zimpl/term.h rename to include/zimpl/term.h diff --git a/headers/zimpl/tuple.h b/include/zimpl/tuple.h similarity index 100% rename from headers/zimpl/tuple.h rename to include/zimpl/tuple.h diff --git a/headers/zimpl/xlpglue.h b/include/zimpl/xlpglue.h similarity index 100% rename from headers/zimpl/xlpglue.h rename to include/zimpl/xlpglue.h diff --git a/headers/zimpl/zimpllib.h b/include/zimpl/zimpllib.h similarity index 100% rename from headers/zimpl/zimpllib.h rename to include/zimpl/zimpllib.h diff --git a/headers/zimpl/zlpglue.h b/include/zimpl/zlpglue.h similarity index 100% rename from headers/zimpl/zlpglue.h rename to include/zimpl/zlpglue.h diff --git a/src/lib.rs b/src/lib.rs index d0cf468..bf49642 100644 --- a/src/lib.rs +++ b/src/lib.rs @@ -7,3 +7,18 @@ #![allow(improper_ctypes)] include!(concat!(env!("OUT_DIR"), "/bindings.rs")); + +#[cfg(test)] +mod tests { + use std::mem::MaybeUninit; + + #[test] + fn test_scip_version() { + let mut scip = MaybeUninit::uninit(); + unsafe { crate::SCIPcreate(&mut scip.as_mut_ptr()) }; + let mut scip = unsafe { scip.assume_init() }; + unsafe { crate::SCIPprintVersion(&mut scip, std::ptr::null_mut()) }; + } + + +} \ No newline at end of file