From f8ce0bc50755d50be86c8276244da0f002baa3db Mon Sep 17 00:00:00 2001 From: Hector Perez Date: Mon, 20 May 2024 10:01:31 -0400 Subject: [PATCH] fix readmes; clean repo --- README.md | 23 +- docs/jump/README.md | 45 +- docs/src/index.md | 23 +- paper/paper.aux | 112 ----- paper/paper.bbl | 182 -------- paper/paper.blg | 46 --- paper/paper.fdb_latexmk | 163 -------- paper/paper.fls | 285 ------------- paper/paper.log | 891 ---------------------------------------- paper/paper.out | 20 - 10 files changed, 73 insertions(+), 1717 deletions(-) delete mode 100644 paper/paper.aux delete mode 100644 paper/paper.bbl delete mode 100644 paper/paper.blg delete mode 100644 paper/paper.fdb_latexmk delete mode 100644 paper/paper.fls delete mode 100644 paper/paper.log delete mode 100644 paper/paper.out diff --git a/README.md b/README.md index b82e1f5..6dcfff7 100644 --- a/README.md +++ b/README.md @@ -19,10 +19,31 @@ Pkg.add("DisjunctiveProgramming") The theory behind the GDP modeling paradigm is described in the following references: -- [Perez and Grossmann, 2023](https://arxiv.org/abs/2303.04375) +- [JuliaCon 2022 Proceedings](https://proceedings.juliacon.org/papers/10.21105/jcon.00117) +- [Perez and Grossmann (2023)](https://arxiv.org/abs/2303.04375) - [Generalized Disjunctive Programming](https://optimization.cbe.cornell.edu/index.php?title=Convex_generalized_disjunctive_programming_(GDP)) - [Disjunctive Inequalities](https://optimization.cbe.cornell.edu/index.php?title=Disjunctive_inequalities) +## Citing + +[![DOI](https://proceedings.juliacon.org/papers/10.21105/jcon.00117/status.svg)](https://doi.org/10.21105/jcon.00117) + +If you use DisjunctiveProgramming.jl in your research, we would greatly appreciate your +citing it. + +```latex +@article{Perez2023, + title = {DisjunctiveProgramming.jl: Generalized Disjunctive Programming Models and Algorithms for JuMP}, + author = {Hector D. Perez and Shivank Joshi and Ignacio E. Grossmann}, + journal = {Proceedings of the JuliaCon Conferences}, + year = {2023}, + publisher = {The Open Journal}, + volume = {1}, + number = {1}, + pages = {117} +} +``` + ## Model A generalized disjunctive programming (GDP) model is created using `GDPModel()`, where the optimizer can be passed at model creation, along with other keyword arguments supported by JuMP Models. diff --git a/docs/jump/README.md b/docs/jump/README.md index b2819b1..482c955 100644 --- a/docs/jump/README.md +++ b/docs/jump/README.md @@ -1,33 +1,39 @@ +# DisjunctiveProgramming.jl + ![Logo](https://raw.githubusercontent.com/hdavid16/DisjunctiveProgramming.jl/master/logo.png) -[`DisjunctiveProgramming.jl`](https://github.com/hdavid16/DisjunctiveProgramming.jl) is a -`JuMP` extension for expressing and solving Generalized Disjunctive Programs. -[Generalized Disjunctive Programming](chrome-extension://efaidnbmnnnibpcajpcglclefindmkaj/http://egon.cheme.cmu.edu/Papers/IMAGrossmannRuiz.pdf) +[`DisjunctiveProgramming.jl`](https://github.com/hdavid16/DisjunctiveProgramming.jl) is a +`JuMP` extension for expressing and solving Generalized Disjunctive Programs. +[Generalized Disjunctive Programming](https://arxiv.org/abs/2303.04375) (GDP) is a modeling paradigm for easily modeling logical conditions which can be reformulated -into a variety of mixed-integer programs. +into a variety of mixed-integer programs. | **Current Version** | **Documentation** | **Build Status** | **Citation** | |:---------------------------------------:|:-------------------------------------------------------------------------------:|:-----------------------------------------------------------------------------------------------:|:--------------------------------------:| -| [![](https://docs.juliahub.com/DisjunctiveProgramming/version.svg)](https://juliahub.com/ui/Packages/General/DisjunctiveProgramming) | [![](https://img.shields.io/badge/docs-stable-blue.svg)](https://hdavid16.github.io/DisjunctiveProgramming.jl/stable/) | [![Build Status](https://github.com/infiniteopt/InfiniteOpt.jl/workflows/CI/badge.svg?branch=master)](https://github.com/hdavid16/DisjunctiveProgramming.jl/actions?query=workflow%3ACI) [![codecov.io](https://codecov.io/gh/hdavid16/DisjunctiveProgramming.jl/graph/badge.svg?token=3FRPGMWF0J)](https://codecov.io/gh/hdavid16/DisjunctiveProgramming.jl) | [![arXiv](https://img.shields.io/badge/arXiv-2304.10492-b31b1b.svg)](https://arxiv.org/abs/2304.10492) | +| [![Version](https://docs.juliahub.com/DisjunctiveProgramming/version.svg)](https://juliahub.com/ui/Packages/General/DisjunctiveProgramming) | [![Docs](https://img.shields.io/badge/docs-stable-blue.svg)](https://hdavid16.github.io/DisjunctiveProgramming.jl/stable/) | [![Build Status](https://github.com/infiniteopt/InfiniteOpt.jl/workflows/CI/badge.svg?branch=master)](https://github.com/hdavid16/DisjunctiveProgramming.jl/actions?query=workflow%3ACI) [![codecov.io](https://codecov.io/gh/hdavid16/DisjunctiveProgramming.jl/graph/badge.svg?token=3FRPGMWF0J)](https://codecov.io/gh/hdavid16/DisjunctiveProgramming.jl) | [![DOI](https://proceedings.juliacon.org/papers/10.21105/jcon.00117/status.svg)](https://doi.org/10.21105/jcon.00117) | `DisjunctiveProgramming` builds upon `JuMP` to add support GDP modeling objects which include: + - Logical variables (``Y \in \{\text{False}, \text{True}\}``) - Disjunctions - Logical constraints (also known as propositions) - Cardinality constraints -It also supports automatic conversion of the GDP model into a regular mixed-integer `JuMP` model +It also supports automatic conversion of the GDP model into a regular mixed-integer `JuMP` model via a variety of reformulations which include: + - Big-M - Hull - Indicator constraints Moreover, `DisjunctiveProgramming` provides an extension API to easily add new reformulation methods. ## License -`InfiniteOpt` is licensed under the [MIT "Expat" license](https://github.com/hdavid16/DisjunctiveProgramming.jl/blob/master/LICENSE). + +`DisjunctiveProgramming` is licensed under the [MIT license](https://github.com/hdavid16/DisjunctiveProgramming.jl/blob/master/LICENSE). ## Installation -`DisjunctiveProgramming.jl` is a registered [Julia](https://julialang.org/) package and + +`DisjunctiveProgramming.jl` is a registered [Julia](https://julialang.org/) package and can be installed by entering the following in the REPL. ```julia @@ -35,19 +41,26 @@ julia> import Pkg; Pkg.add("DisjunctiveProgramming") ``` ## Documentation -Please visit our [documentation pages](https://hdavid16.github.io/DisjunctiveProgramming.jl/stable/) + +Please visit our [documentation pages](https://hdavid16.github.io/DisjunctiveProgramming.jl/stable/) to learn more. ## Citing -[![arXiv](https://img.shields.io/badge/arXiv-2304.10492-b31b1b.svg)](https://arxiv.org/abs/2304.10492) -If you use DisjunctiveProgramming.jl in your research, we would greatly appreciate your +[![DOI](https://proceedings.juliacon.org/papers/10.21105/jcon.00117/status.svg)](https://doi.org/10.21105/jcon.00117) + +If you use DisjunctiveProgramming.jl in your research, we would greatly appreciate your citing it. + ```latex -@article{perez2023disjunctiveprogramming, - title={DisjunctiveProgramming. jl: Generalized Disjunctive Programming Models and Algorithms for JuMP}, - author={Perez, Hector D and Joshi, Shivank and Grossmann, Ignacio E}, - journal={arXiv preprint arXiv:2304.10492}, - year={2023} +@article{Perez2023, + title = {DisjunctiveProgramming.jl: Generalized Disjunctive Programming Models and Algorithms for JuMP}, + author = {Hector D. Perez and Shivank Joshi and Ignacio E. Grossmann}, + journal = {Proceedings of the JuliaCon Conferences}, + year = {2023}, + publisher = {The Open Journal}, + volume = {1}, + number = {1}, + pages = {117} } ``` diff --git a/docs/src/index.md b/docs/src/index.md index 1923f7e..0aa4d32 100644 --- a/docs/src/index.md +++ b/docs/src/index.md @@ -19,10 +19,31 @@ Pkg.add("DisjunctiveProgramming") The theory behind the GDP modeling paradigm is described in the following references: -- [Perez and Grossmann, 2023](https://arxiv.org/abs/2303.04375) +- [JuliaCon 2022 Proceedings](https://proceedings.juliacon.org/papers/10.21105/jcon.00117) +- [Perez and Grossmann (2023)](https://arxiv.org/abs/2303.04375) - [Generalized Disjunctive Programming](https://optimization.cbe.cornell.edu/index.php?title=Convex_generalized_disjunctive_programming_(GDP)) - [Disjunctive Inequalities](https://optimization.cbe.cornell.edu/index.php?title=Disjunctive_inequalities) +## Citing + +[![DOI](https://proceedings.juliacon.org/papers/10.21105/jcon.00117/status.svg)](https://doi.org/10.21105/jcon.00117) + +If you use DisjunctiveProgramming.jl in your research, we would greatly appreciate your +citing it. + +```latex +@article{Perez2023, + title = {DisjunctiveProgramming.jl: Generalized Disjunctive Programming Models and Algorithms for JuMP}, + author = {Hector D. Perez and Shivank Joshi and Ignacio E. Grossmann}, + journal = {Proceedings of the JuliaCon Conferences}, + year = {2023}, + publisher = {The Open Journal}, + volume = {1}, + number = {1}, + pages = {117} +} +``` + ## Model A generalized disjunctive programming (GDP) model is created using [`GDPModel`](@ref), where the optimizer can be passed at model creation, along with other keyword arguments supported by JuMP Models. diff --git a/paper/paper.aux b/paper/paper.aux deleted file mode 100644 index 88595bd..0000000 --- a/paper/paper.aux +++ /dev/null @@ -1,112 +0,0 @@ -\relax -\providecommand\hyper@newdestlabel[2]{} -\providecommand\HyperFirstAtBeginDocument{\AtBeginDocument} -\HyperFirstAtBeginDocument{\ifx\hyper@anchor\@undefined -\global\let\oldcontentsline\contentsline -\gdef\contentsline#1#2#3#4{\oldcontentsline{#1}{#2}{#3}} -\global\let\oldnewlabel\newlabel -\gdef\newlabel#1#2{\newlabelxx{#1}#2} -\gdef\newlabelxx#1#2#3#4#5#6{\oldnewlabel{#1}{{#2}{#3}}} -\AtEndDocument{\ifx\hyper@anchor\@undefined -\let\contentsline\oldcontentsline -\let\newlabel\oldnewlabel -\fi} -\fi} -\global\let\hyper@last\relax -\gdef\HyperFirstAtBeginDocument#1{#1} -\providecommand\HyField@AuxAddToFields[1]{} -\providecommand\HyField@AuxAddToCoFields[2]{} -\citation{chen_grossmann_2019} -\citation{grossmann_trespalacios_2013} -\citation{balas_2018} -\citation{chen_grossmann_2019} -\citation{MATOVU2022107856} -\citation{ZHOU202269} -\citation{CHO2022841} -\citation{CHEN2022107616} -\citation{chen2022pyomo} -\citation{vecchietti1999logmip} -\citation{dunning_huchette_lubin_2017} -\citation{dunning_huchette_lubin_2017} -\citation{nemhauser_1999} -\citation{TRESPALACIOS201598} -\citation{LEE20002125} -\citation{grossmann_lee_2003} -\citation{chen_grossmann_2019} -\newlabel{@firstpg}{{}{1}{}{Doc-Start}{}} -\@writefile{toc}{\contentsline {section}{\numberline {1}Introduction}{1}{section.1}} -\@writefile{toc}{\contentsline {section}{\numberline {2}Generalized Disjunctive Programming}{1}{section.2}} -\@writefile{toc}{\contentsline {subsection}{\numberline {2.1}Model}{1}{subsection.2.1}} -\citation{TRESPALACIOS201598} -\citation{grossmann_trespalacios_2013} -\@writefile{lof}{\contentsline {figure}{\numberline {1}{\ignorespaces Feasible solution space for example disjunction}}{2}{figure.1}} -\newlabel{fig:reform_figure}{{1}{2}{Feasible solution space for example disjunction}{figure.1}{}} -\@writefile{toc}{\contentsline {subsection}{\numberline {2.2}Solution Technique: Reformulation to Mixed-Integer Program}{2}{subsection.2.2}} -\@writefile{toc}{\contentsline {subsubsection}{\numberline {\itshape 2.2.1}Big-M Reformulation}{2}{subsubsection.2.2.1}} -\@writefile{lof}{\contentsline {figure}{\numberline {2}{\ignorespaces Relaxed solution space using Big-M Reformulation}}{2}{figure.2}} -\newlabel{fig:bigm}{{2}{2}{Relaxed solution space using Big-M Reformulation}{figure.2}{}} -\@writefile{toc}{\contentsline {subsubsection}{\numberline {\itshape 2.2.2}Hull Reformulation}{2}{subsubsection.2.2.2}} -\citation{jackson_sheridan_2005} -\citation{grossmann_lee_2003} -\citation{E.Grossmann2009} -\citation{trespalacios_grossmann_2016} -\@writefile{lof}{\contentsline {figure}{\numberline {3}{\ignorespaces Relaxed solution space using Hull Reformulation}}{3}{figure.3}} -\newlabel{fig:chr}{{3}{3}{Relaxed solution space using Hull Reformulation}{figure.3}{}} -\@writefile{toc}{\contentsline {subsection}{\numberline {2.3}Logic constraint reformulation}{3}{subsection.2.3}} -\@writefile{toc}{\contentsline {subsubsection}{\numberline {\itshape 2.3.1}Propositional Logic}{3}{subsubsection.2.3.1}} -\@writefile{toc}{\contentsline {subsubsection}{\numberline {\itshape 2.3.2}Constraint Programming}{3}{subsubsection.2.3.2}} -\@writefile{toc}{\contentsline {subsection}{\numberline {2.4}Other Solution Techniques}{3}{subsection.2.4}} -\newlabel{other_techniques}{{2.4}{3}{Other Solution Techniques}{subsection.2.4}{}} -\@writefile{toc}{\contentsline {subsubsection}{\numberline {\itshape 2.4.1}Disjunctive branch and bound}{3}{subsubsection.2.4.1}} -\@writefile{toc}{\contentsline {subsubsection}{\numberline {\itshape 2.4.2}Logic-based outer approximation}{3}{subsubsection.2.4.2}} -\@writefile{toc}{\contentsline {subsubsection}{\numberline {\itshape 2.4.3}Hybrid cutting planes}{3}{subsubsection.2.4.3}} -\citation{agarwal2010automating} -\citation{furman_sawaya_grossmann_2020} -\citation{10.1145/3511528.3511535} -\citation{huangfu2018parallelizing} -\@writefile{lof}{\contentsline {figure}{\numberline {4}{\ignorespaces Illustrative superstructure optimization problem}}{4}{figure.4}} -\newlabel{fig:superstruct_opt_diagram}{{4}{4}{Illustrative superstructure optimization problem}{figure.4}{}} -\@writefile{toc}{\contentsline {section}{\numberline {3}DisjunctiveProgramming.jl}{4}{section.3}} -\@writefile{toc}{\contentsline {subsection}{\numberline {3.1}Features}{4}{subsection.3.1}} -\@writefile{toc}{\contentsline {subsection}{\numberline {3.2}Example}{4}{subsection.3.2}} -\citation{kronqvist2022p} -\citation{agarwal2015novel} -\citation{bynum2021pyomo} -\citation{hart2011pyomo} -\citation{chen2022pyomo} -\citation{Bussieck2004} -\citation{vecchietti1999logmip} -\citation{NAVARROAMOROS201413} -\bibstyle{juliacon} -\bibdata{ref.bib} -\bibcite{agarwal2015novel}{1} -\bibcite{agarwal2010automating}{2} -\bibcite{balas_2018}{3} -\bibcite{Bussieck2004}{4} -\bibcite{bynum2021pyomo}{5} -\bibcite{chen_grossmann_2019}{6} -\bibcite{chen2022pyomo}{7} -\bibcite{CHEN2022107616}{8} -\bibcite{CHO2022841}{9} -\bibcite{dunning_huchette_lubin_2017}{10} -\@writefile{toc}{\contentsline {section}{\numberline {4}Future Work}{5}{section.4}} -\@writefile{toc}{\contentsline {section}{\numberline {5}Related Work}{5}{section.5}} -\@writefile{toc}{\contentsline {section}{\numberline {6}Conclusion}{5}{section.6}} -\@writefile{toc}{\contentsline {section}{\numberline {7}References}{5}{section.7}} -\bibcite{E.Grossmann2009}{11} -\bibcite{furman_sawaya_grossmann_2020}{12} -\bibcite{10.1145/3511528.3511535}{13} -\bibcite{grossmann_lee_2003}{14} -\bibcite{grossmann_trespalacios_2013}{15} -\bibcite{hart2011pyomo}{16} -\bibcite{huangfu2018parallelizing}{17} -\bibcite{jackson_sheridan_2005}{18} -\bibcite{kronqvist2022p}{19} -\bibcite{LEE20002125}{20} -\bibcite{MATOVU2022107856}{21} -\bibcite{NAVARROAMOROS201413}{22} -\bibcite{nemhauser_1999}{23} -\bibcite{TRESPALACIOS201598}{24} -\bibcite{trespalacios_grossmann_2016}{25} -\bibcite{vecchietti1999logmip}{26} -\bibcite{ZHOU202269}{27} diff --git a/paper/paper.bbl b/paper/paper.bbl deleted file mode 100644 index 3b34be3..0000000 --- a/paper/paper.bbl +++ /dev/null @@ -1,182 +0,0 @@ -\begin{thebibliography}{10} - -\bibitem{agarwal2015novel} -Anshul Agarwal. -A novel minlp reformulation for nonlinear generalized disjunctive programming - (gdp) problems. -{\em arXiv preprint arXiv:1510.01791}, 2015. -\href{http://dx.doi.org/10.48550/arXiv.1510.01791}{doi:10.48550/arXiv.1510.01791}. - -\bibitem{agarwal2010automating} -Ashish Agarwal, Sooraj Bhat, Alexander Gray, and Ignacio~E Grossmann. -Automating mathematical program transformations. -In {\em International Symposium on Practical Aspects of Declarative Languages}, - pages 134--148. Springer, 2010. -\href{http://dx.doi.org/10.1007/978-3-642-11503-5\_12}{doi:10.1007/978-3-642-11503-5\_12}. - -\bibitem{balas_2018} -Egon Balas. -{\em Disjunctive programming}. -Springer, 2018. -\href{http://dx.doi.org/10.1007/978-3-030-00148-3}{doi:10.1007/978-3-030-00148-3}. - -\bibitem{Bussieck2004} -Michael~R. Bussieck and Alex Meeraus. -{\em General Algebraic Modeling System (GAMS)}, pages 137--157. -Springer US, Boston, MA, 2004. -\href{http://dx.doi.org/10.1007/978-1-4613-0215-5\_8}{doi:10.1007/978-1-4613-0215-5\_8}. - -\bibitem{bynum2021pyomo} -Michael~L. Bynum, Gabriel~A. Hackebeil, William~E. Hart, Carl~D. Laird, - Bethany~L. Nicholson, John~D. Siirola, Jean-Paul Watson, and David~L. - Woodruff. -{\em Pyomo--optimization modeling in python}, volume~67. -Springer Science \& Business Media, third edition, 2021. -\href{http://dx.doi.org/10.1007/978-3-030-68928-5}{doi:10.1007/978-3-030-68928-5}. - -\bibitem{chen_grossmann_2019} -Qi~Chen and Ignacio Grossmann. -Modern modeling paradigms using generalized disjunctive programming. -{\em Processes}, 7(11), 2019. -\href{http://dx.doi.org/10.3390/pr7110839}{doi:10.3390/pr7110839}. - -\bibitem{chen2022pyomo} -Qi~Chen, Emma~S Johnson, David~E Bernal, Romeo Valentin, Sunjeev Kale, Johnny - Bates, John~D Siirola, and Ignacio~E Grossmann. -Pyomo. gdp: an ecosystem for logic based modeling and optimization development. -{\em Optimization and Engineering}, 23(1):607--642, 2022. -\href{http://dx.doi.org/10.1007/978-3-030-00148-3}{doi:10.1007/978-3-030-00148-3}. - -\bibitem{CHEN2022107616} -Ying Chen, Yixin Ye, Zhihong Yuan, Ignacio~E. Grossmann, and Bingzhen Chen. -Integrating stochastic programming and reliability in the optimal synthesis of - chemical processes. -{\em Computers \& Chemical Engineering}, 157:107616, 2022. -\href{http://dx.doi.org/10.1016/j.compchemeng.2021.107616}{doi:10.1016/j.compchemeng.2021.107616}. - -\bibitem{CHO2022841} -Seolhee Cho and Ignacio~E. Grossmann. -An optimization model for expansion planning of reliable power generation - systems. -In Ludovic Montastruc and Stephane Negny, editors, {\em 32nd European Symposium - on Computer Aided Process Engineering}, volume~51 of {\em Computer Aided - Chemical Engineering}, pages 841--846. Elsevier, 2022. -\href{http://dx.doi.org/10.1016/B978-0-323-95879-0.50141-7}{doi:10.1016/B978-0-323-95879-0.50141-7}. - -\bibitem{dunning_huchette_lubin_2017} -Iain Dunning, Joey Huchette, and Miles Lubin. -Jump: A modeling language for mathematical optimization. -{\em SIAM Review}, 59(2):295–320, 2017. -\href{http://dx.doi.org/10.1137/15M1020575}{doi:10.1137/15M1020575}. - -\bibitem{E.Grossmann2009} -Ignacio E.~Grossmann. -{\em Logic-based outer approximation}, pages 1928--1931. -Springer US, Boston, MA, 2009. -\href{http://dx.doi.org/10.1007/978-0-387-74759-0\_348}{doi:10.1007/978-0-387-74759-0\_348}. - -\bibitem{furman_sawaya_grossmann_2020} -Kevin~C. Furman, Nicolas~W. Sawaya, and Ignacio~E. Grossmann. -A computationally useful algebraic representation of nonlinear disjunctive - convex sets using the perspective function. -{\em Computational Optimization and Applications}, 76(2):589–614, 2020. -\href{http://dx.doi.org/10.1007/s10589-020-00176-0}{doi:10.1007/s10589-020-00176-0}. - -\bibitem{10.1145/3511528.3511535} -Shashi Gowda, Yingbo Ma, Alessandro Cheli, Maja Gw\'{o}\'{z}zd\'{z}, Viral~B. - Shah, Alan Edelman, and Christopher Rackauckas. -High-performance symbolic-numerics via multiple dispatch. -{\em ACM Commun. Comput. Algebra}, 55(3):92–96, jan 2022. -\href{http://dx.doi.org/10.1145/3511528.3511535}{doi:10.1145/3511528.3511535}. - -\bibitem{grossmann_lee_2003} -Ignacio~E. Grossmann and Sangbum Lee. -Generalized convex disjunctive programming: Nonlinear convex hull relaxation. -{\em Computational Optimization and Applications}, 26(1):83–100, 2003. -\href{http://dx.doi.org/10.1023/a:1025154322278}{doi:10.1023/a:1025154322278}. - -\bibitem{grossmann_trespalacios_2013} -Ignacio~E. Grossmann and Francisco Trespalacios. -Systematic modeling of discrete-continuous optimization models through - generalized disjunctive programming. -{\em AIChE Journal}, 59(9):3276--3295, 2013. -\href{http://dx.doi.org/10.1002/aic.14088}{doi:10.1002/aic.14088}. - -\bibitem{hart2011pyomo} -William~E Hart, Jean-Paul Watson, and David~L Woodruff. -Pyomo: modeling and solving mathematical programs in python. -{\em Mathematical Programming Computation}, 3(3):219--260, 2011. -\href{http://dx.doi.org/10.1007/s12532-011-0026-8}{doi:10.1007/s12532-011-0026-8}. - -\bibitem{huangfu2018parallelizing} -Qi~Huangfu and JA~Julian Hall. -Parallelizing the dual revised simplex method. -{\em Mathematical Programming Computation}, 10(1):119--142, 2018. -\href{http://dx.doi.org/10.1007/s12532-017-0130-5}{doi:10.1007/s12532-017-0130-5}. - -\bibitem{jackson_sheridan_2005} -Paul Jackson and Daniel Sheridan. -Clause form conversions for boolean circuits. -{\em Theory and Applications of Satisfiability Testing}, page 183–198, 2005. -\href{http://dx.doi.org/10.1007/11527695\_15}{doi:10.1007/11527695\_15}. - -\bibitem{kronqvist2022p} -Jan Kronqvist, Ruth Misener, and Calvin Tsay. -P-split formulations: A class of intermediate formulations between big-m and - convex hull for disjunctive constraints. -{\em arXiv preprint arXiv:2202.05198}, 2022. -\href{http://dx.doi.org/10.48550/arXiv.2202.05198}{doi:10.48550/arXiv.2202.05198}. - -\bibitem{LEE20002125} -Sangbum Lee and Ignacio~E. Grossmann. -New algorithms for nonlinear generalized disjunctive programming. -{\em Computers \& Chemical Engineering}, 24(9):2125--2141, 2000. -\href{http://dx.doi.org/10.1016/S0098-1354(00)00581-0}{doi:10.1016/S0098-1354(00)00581-0}. - -\bibitem{MATOVU2022107856} -Fahad Matovu, Shuhaimi Mahadzir, Rasel Ahmed, and Nor Erniza~Mohammad Rozali. -Synthesis and optimization of multilevel refrigeration systems using - generalized disjunctive programming. -{\em Computers \& Chemical Engineering}, 163:107856, 2022. -\href{http://dx.doi.org/10.1016/j.compchemeng.2022.107856}{doi:10.1016/j.compchemeng.2022.107856}. - -\bibitem{NAVARROAMOROS201413} -Miguel~A. Navarro-Amorós, Rubén Ruiz-Femenia, and José~A. Caballero. -Integration of modular process simulators under the generalized disjunctive - programming framework for the structural flowsheet optimization. -{\em Computers \& Chemical Engineering}, 67:13--25, 2014. -\href{http://dx.doi.org/10.1016/j.compchemeng.2014.03.014}{doi:10.1016/j.compchemeng.2014.03.014}. - -\bibitem{nemhauser_1999} -George~L. Nemhauser. -{\em Integer and combinatorial optimization}. -John Wiley and Sons, 1999. -\href{http://dx.doi.org/10.1002/9781118627372}{doi:10.1002/9781118627372}. - -\bibitem{TRESPALACIOS201598} -Francisco Trespalacios and Ignacio~E. Grossmann. -Improved big-m reformulation for generalized disjunctive programs. -{\em Computers \& Chemical Engineering}, 76:98--103, 2015. -\href{http://dx.doi.org/10.1016/j.compchemeng.2015.02.013}{doi:10.1016/j.compchemeng.2015.02.013}. - -\bibitem{trespalacios_grossmann_2016} -Francisco Trespalacios and Ignacio~E. Grossmann. -Cutting plane algorithm for convex generalized disjunctive programs. -{\em INFORMS Journal on Computing}, 28(2):209–222, 2016. -\href{http://dx.doi.org/10.1287/ijoc.2015.0669}{doi:10.1287/ijoc.2015.0669}. - -\bibitem{vecchietti1999logmip} -Aldo Vecchietti and Ignacio~E Grossmann. -Logmip: a disjunctive 0--1 non-linear optimizer for process system models. -{\em Computers \& chemical engineering}, 23(4-5):555--565, 1999. -\href{http://dx.doi.org/10.1016/s0098-1354(98)00293-2}{doi:10.1016/s0098-1354(98)00293-2}. - -\bibitem{ZHOU202269} -Wenjin Zhou, Kashif Iqbal, Xiaogang Sun, Dinghui Gan, Chun Deng, José~María - Ponce-Ortega, and Chunmao Chen. -Disjunctive programming model for the synthesis of property-based water supply - network with multiple resources. -{\em Chemical Engineering Research and Design}, 187:69--83, 2022. -\href{http://dx.doi.org/10.1016/j.cherd.2022.08.027}{doi:10.1016/j.cherd.2022.08.027}. - -\end{thebibliography} diff --git a/paper/paper.blg b/paper/paper.blg deleted file mode 100644 index 6db484c..0000000 --- a/paper/paper.blg +++ /dev/null @@ -1,46 +0,0 @@ -This is BibTeX, Version 0.99d (TeX Live 2018/W32TeX) -Capacity: max_strings=100000, hash_size=100000, hash_prime=85009 -The top-level auxiliary file: paper.aux -The style file: juliacon.bst -Database file #1: ref.bib -You've used 27 entries, - 2314 wiz_defined-function locations, - 723 strings with 10063 characters, -and the built_in function-call counts, 10799 in all, are: -= -- 1074 -> -- 505 -< -- 7 -+ -- 200 -- -- 170 -* -- 844 -:= -- 1761 -add.period$ -- 110 -call.type$ -- 27 -change.case$ -- 161 -chr.to.int$ -- 0 -cite$ -- 27 -duplicate$ -- 417 -empty$ -- 844 -format.name$ -- 170 -if$ -- 2296 -int.to.chr$ -- 0 -int.to.str$ -- 27 -missing$ -- 32 -newline$ -- 165 -num.names$ -- 56 -pop$ -- 179 -preamble$ -- 1 -purify$ -- 138 -quote$ -- 0 -skip$ -- 272 -stack$ -- 0 -substring$ -- 652 -swap$ -- 88 -text.length$ -- 7 -text.prefix$ -- 0 -top$ -- 0 -type$ -- 98 -warning$ -- 0 -while$ -- 87 -width$ -- 29 -write$ -- 355 diff --git a/paper/paper.fdb_latexmk b/paper/paper.fdb_latexmk deleted file mode 100644 index 28a5fc2..0000000 --- a/paper/paper.fdb_latexmk +++ /dev/null @@ -1,163 +0,0 @@ -# Fdb version 3 -["bibtex paper"] 1702338175 "paper.aux" "paper.bbl" "paper" 1702338182 - "./juliacon.bst" 1683848695 22186 2eaa317b2b3889daf19a84ad3db6071a "" - "paper.aux" 1702338179 5809 2e9d066fdcba98987bb34995e04a02a9 "" - "ref.bib" 1697248839 27978 dce8ad984b85ef4eb1e3d1e6c104f8d5 "" - (generated) - "paper.bbl" - "paper.blg" -["pdflatex"] 1702338176 "c:/Users/HD/Downloads/DisjunctiveProgramming.jl/paper/paper.tex" "c:/Users/HD/Downloads/DisjunctiveProgramming.jl/paper/paper.pdf" "paper" 1702338182 - "bib.tex" 1683848695 115 fb8dcbd9d4481bde59a06a28ec8a83ca "" - "bigm.png" 1683848695 16157 24bd6e3bc27d995ac037e601c6fb5268 "" - "c:/Users/HD/Downloads/DisjunctiveProgramming.jl/paper/paper.aux" 1702338179 5809 2e9d066fdcba98987bb34995e04a02a9 "" - "c:/Users/HD/Downloads/DisjunctiveProgramming.jl/paper/paper.tex" 1702338170 24885 9678ed72246220603527059d4805919b "" - "c:/texlive/2018/texmf-dist/fonts/enc/dvips/base/8r.enc" 1532700559 4850 80dc9bab7f31fb78a000ccfed0e27cab "" - "c:/texlive/2018/texmf-dist/fonts/enc/dvips/cm-super/cm-super-t1.enc" 1532700351 2971 def0b6c1f0b107b3b936def894055589 "" - "c:/texlive/2018/texmf-dist/fonts/map/fontname/texfonts.map" 1532700703 3332 103109f5612ad95229751940c61aada0 "" - "c:/texlive/2018/texmf-dist/fonts/tfm/adobe/times/ptmb8r.tfm" 1532701852 4524 6bce29db5bc272ba5f332261583fee9c "" - "c:/texlive/2018/texmf-dist/fonts/tfm/adobe/times/ptmb8t.tfm" 1532701852 6880 f19b8995b61c334d78fc734065f6b4d4 "" - "c:/texlive/2018/texmf-dist/fonts/tfm/adobe/times/ptmr8r.tfm" 1532701852 4408 25b74d011a4c66b7f212c0cc3c90061b "" - "c:/texlive/2018/texmf-dist/fonts/tfm/adobe/times/ptmr8t.tfm" 1532701852 6672 e3ab9e37e925f3045c9005e6d1473d56 "" - "c:/texlive/2018/texmf-dist/fonts/tfm/adobe/times/ptmri8r.tfm" 1532701852 4640 532ca3305aad10cc01d769f3f91f1029 "" - "c:/texlive/2018/texmf-dist/fonts/tfm/adobe/times/ptmri8t.tfm" 1532701852 6944 94c55ad86e6ea2826f78ba2240d50df9 "" - "c:/texlive/2018/texmf-dist/fonts/tfm/jknappen/ec/ecrm0900.tfm" 1532700570 3584 d3d8ac8b25ca19c0a40b86a5db1e8ccc "" - "c:/texlive/2018/texmf-dist/fonts/tfm/jknappen/ec/ecrm1000.tfm" 1532700570 3584 adb004a0c8e7c46ee66cad73671f37b4 "" - "c:/texlive/2018/texmf-dist/fonts/tfm/jknappen/ec/ectt0800.tfm" 1532700570 1536 0b0b8ca286de6a006b681926403f35cd "" - "c:/texlive/2018/texmf-dist/fonts/tfm/jknappen/ec/ectt0900.tfm" 1532700570 1536 ae7aab2f8a4bc9edfce2899f53ba88c3 "" - "c:/texlive/2018/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex7.tfm" 1532700066 1004 54797486969f23fa377b128694d548df "" - "c:/texlive/2018/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex8.tfm" 1532700066 988 bdf658c3bfc2d96d3c8b02cfc1c94c20 "" - "c:/texlive/2018/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex9.tfm" 1532700066 996 a18840b13b499c08ac2de96a99eda4bc "" - "c:/texlive/2018/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmmib5.tfm" 1532700066 1496 c79f6914c6d39ffb3759967363d1be79 "" - "c:/texlive/2018/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmmib6.tfm" 1532700066 1516 a3bf6a5e7ec4401b1f52092dfaaed242 "" - "c:/texlive/2018/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmmib7.tfm" 1532700066 1508 6e807ff901c35a5f1fde0ca275533df8 "" - "c:/texlive/2018/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmmib8.tfm" 1532700066 1528 dab402b9d3774ca98baa037071cee7ae "" - "c:/texlive/2018/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmmib9.tfm" 1532700066 1528 159d57adcba064aab4277245c826577d "" - "c:/texlive/2018/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.tfm" 1532700066 916 f87d7c45f9c908e672703b83b72241a3 "" - "c:/texlive/2018/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam5.tfm" 1532700066 924 9904cf1d39e9767e7a3622f2a125a565 "" - "c:/texlive/2018/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam7.tfm" 1532700066 928 2dc8d444221b7a635bb58038579b861a "" - "c:/texlive/2018/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm" 1532700066 908 2921f8a10601f252058503cc6570e581 "" - "c:/texlive/2018/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm5.tfm" 1532700066 940 75ac932a52f80982a9f8ea75d03a34cf "" - "c:/texlive/2018/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm7.tfm" 1532700066 940 228d6584342e91276bf566bcf9716b83 "" - "c:/texlive/2018/texmf-dist/fonts/tfm/public/cm/cmbsy10.tfm" 1532700335 1116 4e6ba9d7914baa6482fd69f67d126380 "" - "c:/texlive/2018/texmf-dist/fonts/tfm/public/cm/cmbx10.tfm" 1532700335 1328 c834bbb027764024c09d3d2bf908b5f0 "" - "c:/texlive/2018/texmf-dist/fonts/tfm/public/cm/cmbx12.tfm" 1532700335 1324 c910af8c371558dc20f2d7822f66fe64 "" - "c:/texlive/2018/texmf-dist/fonts/tfm/public/cm/cmbx5.tfm" 1532700335 1332 f817c21a1ba54560425663374f1b651a "" - "c:/texlive/2018/texmf-dist/fonts/tfm/public/cm/cmbx6.tfm" 1532700335 1344 8a0be4fe4d376203000810ad4dc81558 "" - "c:/texlive/2018/texmf-dist/fonts/tfm/public/cm/cmbx7.tfm" 1532700335 1336 3125ccb448c1a09074e3aa4a9832f130 "" - "c:/texlive/2018/texmf-dist/fonts/tfm/public/cm/cmbx8.tfm" 1532700335 1332 1fde11373e221473104d6cc5993f046e "" - "c:/texlive/2018/texmf-dist/fonts/tfm/public/cm/cmbx9.tfm" 1532700335 1328 5442e22a7072966dbaf88ca900acf3f0 "" - "c:/texlive/2018/texmf-dist/fonts/tfm/public/cm/cmex10.tfm" 1532700335 992 662f679a0b3d2d53c1b94050fdaa3f50 "" - "c:/texlive/2018/texmf-dist/fonts/tfm/public/cm/cmmi12.tfm" 1532700335 1524 4414a8315f39513458b80dfc63bff03a "" - "c:/texlive/2018/texmf-dist/fonts/tfm/public/cm/cmmi6.tfm" 1532700335 1512 f21f83efb36853c0b70002322c1ab3ad "" - "c:/texlive/2018/texmf-dist/fonts/tfm/public/cm/cmmi8.tfm" 1532700335 1520 eccf95517727cb11801f4f1aee3a21b4 "" - "c:/texlive/2018/texmf-dist/fonts/tfm/public/cm/cmmi9.tfm" 1532700335 1524 d89e2d087a9828407a196f428428ef4a "" - "c:/texlive/2018/texmf-dist/fonts/tfm/public/cm/cmmib10.tfm" 1532700335 1524 554068197b70979a55370e6c6495f441 "" - "c:/texlive/2018/texmf-dist/fonts/tfm/public/cm/cmr12.tfm" 1532700335 1288 655e228510b4c2a1abe905c368440826 "" - "c:/texlive/2018/texmf-dist/fonts/tfm/public/cm/cmr17.tfm" 1532700335 1292 296a67155bdbfc32aa9c636f21e91433 "" - "c:/texlive/2018/texmf-dist/fonts/tfm/public/cm/cmr6.tfm" 1532700335 1300 b62933e007d01cfd073f79b963c01526 "" - "c:/texlive/2018/texmf-dist/fonts/tfm/public/cm/cmr8.tfm" 1532700335 1292 21c1c5bfeaebccffdb478fd231a0997d "" - "c:/texlive/2018/texmf-dist/fonts/tfm/public/cm/cmr9.tfm" 1532700335 1292 6b21b9c2c7bebb38aa2273f7ca0fb3af "" - "c:/texlive/2018/texmf-dist/fonts/tfm/public/cm/cmsy10.tfm" 1532700335 1124 6c73e740cf17375f03eec0ee63599741 "" - "c:/texlive/2018/texmf-dist/fonts/tfm/public/latex-fonts/lasy10.tfm" 1532700961 520 82a3d37183f34b6eb363a161dfc002c2 "" - "c:/texlive/2018/texmf-dist/fonts/tfm/public/latex-fonts/lasy5.tfm" 1532700961 520 d082ac03a1087bc1ec2a06e24a9f68c0 "" - "c:/texlive/2018/texmf-dist/fonts/tfm/public/latex-fonts/lasy6.tfm" 1532700961 520 4889cce2180234b97cad636b6039c722 "" - "c:/texlive/2018/texmf-dist/fonts/tfm/public/latex-fonts/lasy7.tfm" 1532700961 520 a74c6ed8cb48679fdc3ea874d9d34a7e "" - "c:/texlive/2018/texmf-dist/fonts/tfm/public/latex-fonts/lasy8.tfm" 1532700961 520 7bb3abb160b19e0ed6ac404bb59052b7 "" - "c:/texlive/2018/texmf-dist/fonts/tfm/public/latex-fonts/lasy9.tfm" 1532700961 520 1cc7cc05f4d7bae5c23bf7516f88fa52 "" - "c:/texlive/2018/texmf-dist/fonts/tfm/public/latex-fonts/lasyb10.tfm" 1532700961 520 4bf1455197d190cb95c579bde4c2f0ba "" - "c:/texlive/2018/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi5.pfb" 1532700066 37912 07513ec114ac737ab54cea0152f4424b "" - "c:/texlive/2018/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi6.pfb" 1532700066 37166 8ab3487cbe3ab49ebce74c29ea2418db "" - "c:/texlive/2018/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi7.pfb" 1532700066 36281 c355509802a035cadc5f15869451dcee "" - "c:/texlive/2018/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi9.pfb" 1532700066 36094 798f80770b3b148ceedd006d487db67c "" - "c:/texlive/2018/texmf-dist/fonts/type1/public/amsfonts/cm/cmr5.pfb" 1532700066 31809 8670ca339bf94e56da1fc21c80635e2a "" - "c:/texlive/2018/texmf-dist/fonts/type1/public/amsfonts/cm/cmr6.pfb" 1532700066 32734 69e00a6b65cedb993666e42eedb3d48f "" - "c:/texlive/2018/texmf-dist/fonts/type1/public/amsfonts/cm/cmr9.pfb" 1532700066 33993 9b89b85fd2d9df0482bd47194d1d3bf3 "" - "c:/texlive/2018/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10.pfb" 1532700066 32569 5e5ddc8df908dea60932f3c484a54c0d "" - "c:/texlive/2018/texmf-dist/fonts/type1/public/amsfonts/cmextra/cmex9.pfb" 1532700066 30212 f7062d6da71d1ec66ffb8906891648f7 "" - "c:/texlive/2018/texmf-dist/fonts/type1/public/amsfonts/latxfont/lcircle1.pfb" 1532700066 10594 310261a6407d360eda1ed257d05cd4df "" - "c:/texlive/2018/texmf-dist/fonts/type1/public/amsfonts/symbols/msbm10.pfb" 1532700066 34694 870c211f62cb72718a00e353f14f254d "" - "c:/texlive/2018/texmf-dist/fonts/type1/public/cm-super/sftt0800.pfb" 1532700352 175641 e37e2df5b70b76a1b78bfb3b804197c7 "" - "c:/texlive/2018/texmf-dist/fonts/type1/public/cm-super/sftt0900.pfb" 1532700352 170827 b1cb46f82d978af2aeb6bf26777fa82d "" - "c:/texlive/2018/texmf-dist/fonts/type1/urw/times/utmb8a.pfb" 1532701852 44729 fea0975e20ec51c992338362f05f1146 "" - "c:/texlive/2018/texmf-dist/fonts/type1/urw/times/utmr8a.pfb" 1532701852 46026 687528a208fbfc1f00832bb96cccebbb "" - "c:/texlive/2018/texmf-dist/fonts/type1/urw/times/utmri8a.pfb" 1532701852 45458 504e2b06fa82109d168c7a0afb09e145 "" - "c:/texlive/2018/texmf-dist/fonts/vf/adobe/times/ptmb8t.vf" 1532701852 2340 df9c920cc5688ebbf16a93f45ce7bdd3 "" - "c:/texlive/2018/texmf-dist/fonts/vf/adobe/times/ptmr8t.vf" 1532701852 2348 91706c542228501c410c266421fbe30c "" - "c:/texlive/2018/texmf-dist/fonts/vf/adobe/times/ptmri8t.vf" 1532701852 2328 6cd7df782b09b29cfc4d93e55b6b9a59 "" - "c:/texlive/2018/texmf-dist/tex/context/base/mkii/supp-pdf.mkii" 1532701203 71627 94eb9990bed73c364d7f53f960cc8c5b "" - "c:/texlive/2018/texmf-dist/tex/generic/ifxetex/ifxetex.sty" 1532700856 1458 43ab4710dc82f3edeabecd0d099626b2 "" - "c:/texlive/2018/texmf-dist/tex/generic/oberdiek/gettitlestring.sty" 1532701285 8237 3b62ef1f7e2c23a328c814b3893bc11f "" - "c:/texlive/2018/texmf-dist/tex/generic/oberdiek/hobsub-generic.sty" 1532701285 185313 3e16abd014cb2c328020e45d63ed7f45 "" - "c:/texlive/2018/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty" 1532701285 70864 bcd5b216757bd619ae692a151d90085d "" - "c:/texlive/2018/texmf-dist/tex/latex/amsfonts/amsfonts.sty" 1532700066 5949 3f3fd50a8cc94c3d4cbf4fc66cd3df1c "" - "c:/texlive/2018/texmf-dist/tex/latex/amsfonts/amssymb.sty" 1532700066 13829 94730e64147574077f8ecfea9bb69af4 "" - "c:/texlive/2018/texmf-dist/tex/latex/amsfonts/umsa.fd" 1532700067 961 6518c6525a34feb5e8250ffa91731cff "" - "c:/texlive/2018/texmf-dist/tex/latex/amsfonts/umsb.fd" 1532700067 961 d02606146ba5601b5645f987c92e6193 "" - "c:/texlive/2018/texmf-dist/tex/latex/amsmath/amsbsy.sty" 1532700069 2211 ca7ce284ab93c8eecdc6029dc5ccbd73 "" - "c:/texlive/2018/texmf-dist/tex/latex/amsmath/amsgen.sty" 1532700069 4161 7f6eb9092061a11f87d08ed13515b48d "" - "c:/texlive/2018/texmf-dist/tex/latex/amsmath/amsmath.sty" 1532700069 84354 7292177bb735c466b78634ee4efd537e "" - "c:/texlive/2018/texmf-dist/tex/latex/amsmath/amsopn.sty" 1532700069 4116 32e6abd27229755a83a8b7f18e583890 "" - "c:/texlive/2018/texmf-dist/tex/latex/amsmath/amstext.sty" 1532700069 2432 8ff93b1137020e8f21930562a874ae66 "" - "c:/texlive/2018/texmf-dist/tex/latex/base/fontenc.sty" 1532700954 4573 ae83473dfe6aea3508ab88d22c4457b2 "" - "c:/texlive/2018/texmf-dist/tex/latex/base/inputenc.sty" 1532700954 5052 f2525dfd6e503dc383e90b568c6c9f02 "" - "c:/texlive/2018/texmf-dist/tex/latex/base/latexsym.sty" 1532700954 2856 7730103c7f3589c6c9d963ace57a7c18 "" - "c:/texlive/2018/texmf-dist/tex/latex/base/t1cmtt.fd" 1532700954 2446 898e9a1961d873c4471b5d9a683366d0 "" - "c:/texlive/2018/texmf-dist/tex/latex/base/t1enc.def" 1532700954 10008 3208fbcdd7b3f5dd0dda02e6507bf38c "" - "c:/texlive/2018/texmf-dist/tex/latex/base/textcomp.sty" 1532700954 16156 c88fab7ab9716ccedc3dc1fa0f1f22da "" - "c:/texlive/2018/texmf-dist/tex/latex/base/ts1cmr.fd" 1532700954 2433 cdefd2509a12ba58001f2024f63aae9a "" - "c:/texlive/2018/texmf-dist/tex/latex/base/ts1enc.def" 1532700954 7769 97b639552068544f7c98d557abb19f41 "" - "c:/texlive/2018/texmf-dist/tex/latex/base/ts1enc.dfu" 1532700954 4973 a0ebe45f171b33c2df4e84416140511f "" - "c:/texlive/2018/texmf-dist/tex/latex/base/ulasy.fd" 1532700954 2236 d19fc9d1775d819862989c760289e5a5 "" - "c:/texlive/2018/texmf-dist/tex/latex/eurosym/eurosym.sty" 1532700631 3028 8faeef64adee9b964b5e7f5e45921024 "" - "c:/texlive/2018/texmf-dist/tex/latex/float/float.sty" 1532700690 6749 16d2656a1984957e674b149555f1ea1d "" - "c:/texlive/2018/texmf-dist/tex/latex/graphics-cfg/color.cfg" 1532700782 1213 620bba36b25224fa9b7e1ccb4ecb76fd "" - "c:/texlive/2018/texmf-dist/tex/latex/graphics-cfg/graphics.cfg" 1532700782 1224 978390e9c2234eab29404bc21b268d1e "" - "c:/texlive/2018/texmf-dist/tex/latex/graphics-def/pdftex.def" 1532700782 17334 520b9b85ad8a2a48eda3f643e27a5179 "" - "c:/texlive/2018/texmf-dist/tex/latex/graphics/graphics.sty" 1532700781 15272 5a97061616e0c8b2aa79c6615ff769f4 "" - "c:/texlive/2018/texmf-dist/tex/latex/graphics/graphicx.sty" 1532700781 9063 d0a305975932762117cd1f06a582f896 "" - "c:/texlive/2018/texmf-dist/tex/latex/graphics/keyval.sty" 1532700781 2591 6404d0c7d28505fb38ce0d86c2e28ae7 "" - "c:/texlive/2018/texmf-dist/tex/latex/graphics/trig.sty" 1532700781 3977 cb9221976ed8a183afad65b59aa8629a "" - "c:/texlive/2018/texmf-dist/tex/latex/hyperref/hpdftex.def" 1532700828 51699 9069fc983fff0db91d59a15af144ad62 "" - "c:/texlive/2018/texmf-dist/tex/latex/hyperref/hyperref.sty" 1532700828 234088 2c849389d62d41c593d9f5176c4116ab "" - "c:/texlive/2018/texmf-dist/tex/latex/hyperref/nameref.sty" 1532700828 12949 81e4e808884a8f0e276b69410e234656 "" - "c:/texlive/2018/texmf-dist/tex/latex/hyperref/pd1enc.def" 1532700828 14098 4e70bf396c7c265bd8b0e5cab3fd3d4d "" - "c:/texlive/2018/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg" 1532700977 678 4792914a8f45be57bb98413425e4c7af "" - "c:/texlive/2018/texmf-dist/tex/latex/latexconfig/hyperref.cfg" 1532700977 235 6031e5765137be07eed51a510b2b8fb7 "" - "c:/texlive/2018/texmf-dist/tex/latex/listings/listings.cfg" 1532701023 1827 d72ad54409ca5c1068a1939c63441bd2 "" - "c:/texlive/2018/texmf-dist/tex/latex/listings/listings.sty" 1532701023 80336 ff90c926c3d7bfdaa3d80ca57123b0bb "" - "c:/texlive/2018/texmf-dist/tex/latex/listings/lstmisc.sty" 1532701023 77028 c3eb00afb55a32bc13ca8da7f5234377 "" - "c:/texlive/2018/texmf-dist/tex/latex/oberdiek/auxhook.sty" 1532701285 3834 4363110eb0ef1eb2b71c8fcbcdb6c357 "" - "c:/texlive/2018/texmf-dist/tex/latex/oberdiek/epstopdf-base.sty" 1532701285 12095 5337833c991d80788a43d3ce26bd1c46 "" - "c:/texlive/2018/texmf-dist/tex/latex/oberdiek/grfext.sty" 1532701285 7075 2fe3d848bba95f139de11ded085e74aa "" - "c:/texlive/2018/texmf-dist/tex/latex/oberdiek/kvoptions.sty" 1532701285 22417 1d9df1eb66848aa31b18a593099cf45c "" - "c:/texlive/2018/texmf-dist/tex/latex/oberdiek/rerunfilecheck.sty" 1532701285 9581 023642318cef9f4677efe364de1e2a27 "" - "c:/texlive/2018/texmf-dist/tex/latex/preprint/authblk.sty" 1532701416 7016 985a983ce041cc8959cd31133cba0244 "" - "c:/texlive/2018/texmf-dist/tex/latex/psnfss/helvet.sty" 1532701435 1500 3c2647c8649928795ededd42a6e85f85 "" - "c:/texlive/2018/texmf-dist/tex/latex/psnfss/t1ptm.fd" 1532701435 774 61d7da1e9f9e74989b196d147e623736 "" - "c:/texlive/2018/texmf-dist/tex/latex/psnfss/times.sty" 1532701435 857 6c716f26c5eadfb81029fcd6ce2d45e6 "" - "c:/texlive/2018/texmf-dist/tex/latex/tools/bm.sty" 1532701883 12626 7d9d99d0bbe65f44cc0bb90f67262000 "" - "c:/texlive/2018/texmf-dist/tex/latex/tools/calc.sty" 1532701883 10212 357072c1d20578a30d6387d8a22e72ab "" - "c:/texlive/2018/texmf-dist/tex/latex/url/url.sty" 1532701973 12796 8edb7d69a20b857904dd0ea757c14ec9 "" - "c:/texlive/2018/texmf-dist/tex/latex/xcolor/xcolor.sty" 1532702035 55589 34128738f682d033422ca125f82e5d62 "" - "c:/texlive/2018/texmf-dist/web2c/texmf.cnf" 1532700934 33362 cf75436e19743e94a92a6b1b9183c434 "" - "c:/texlive/2018/texmf-var/fonts/map/pdftex/updmap/pdftex.map" 1532702118 2912949 8f7ee2183ff143e9b4d7090a42e31c2f "" - "c:/texlive/2018/texmf-var/web2c/pdftex/pdflatex.fmt" 1532702191 4216821 c6cfb41a9e96e1693e4aebdc07e2f592 "" - "c:/texlive/2018/texmf.cnf" 1532702105 673 4ae7b2f49cee444c5343a45b5d0f169c "" - "chr.png" 1683848695 20097 8b947eba2e284b006acf447a3f577ddf "" - "jlcode.sty" 1683848695 18666 d33ccf865c532e11b9480876a6bb58b2 "" - "journal_dat.tex" 1683848695 156 e6e783a18daee23542a412a50a5ce4b0 "" - "juliacon.cls" 1683848695 31320 600c1d13c17d8cd54504ceeaf65a3e1c "" - "logojuliacon.pdf" 1683848695 4937 0cb75c4e65b0cf72a69c7716f140efe5 "" - "paper.aux" 1702338179 5809 2e9d066fdcba98987bb34995e04a02a9 "" - "paper.bbl" 1702338176 8412 c5f25008db6df29972edfc95473a9694 "bibtex paper" - "paper.out" 1702338179 1369 1f68aa287eaf7868c2396c35550b552d "" - "paper.tex" 1702338170 24885 9678ed72246220603527059d4805919b "" - "solnspace.png" 1683848695 8537 21548aa816215210a45ef0cf5bc6a4c7 "" - "superstructure_pfd.png" 1683848695 71484 ccb9c3d50ea30611d678638f05ee9cf0 "" - (generated) - "c:/Users/HD/Downloads/DisjunctiveProgramming.jl/paper/paper.log" - "paper.aux" - "c:/Users/HD/Downloads/DisjunctiveProgramming.jl/paper/paper.pdf" - "paper.log" - "paper.out" - "paper.pdf" diff --git a/paper/paper.fls b/paper/paper.fls deleted file mode 100644 index 398ab5c..0000000 --- a/paper/paper.fls +++ /dev/null @@ -1,285 +0,0 @@ -PWD c:/Users/HD/Downloads/DisjunctiveProgramming.jl/paper -INPUT c:/texlive/2018/texmf.cnf -INPUT c:/texlive/2018/texmf-dist/web2c/texmf.cnf -INPUT c:/texlive/2018/texmf-var/web2c/pdftex/pdflatex.fmt -INPUT c:/Users/HD/Downloads/DisjunctiveProgramming.jl/paper/paper.tex -OUTPUT c:/Users/HD/Downloads/DisjunctiveProgramming.jl/paper/paper.log -INPUT c:/Users/HD/Downloads/DisjunctiveProgramming.jl/paper/juliacon.cls -INPUT c:/Users/HD/Downloads/DisjunctiveProgramming.jl/paper/juliacon.cls -INPUT c:/texlive/2018/texmf-dist/tex/latex/psnfss/helvet.sty -INPUT c:/texlive/2018/texmf-dist/tex/latex/psnfss/helvet.sty -INPUT c:/texlive/2018/texmf-dist/tex/latex/graphics/keyval.sty -INPUT c:/texlive/2018/texmf-dist/tex/latex/graphics/keyval.sty -INPUT c:/texlive/2018/texmf-dist/tex/latex/base/latexsym.sty -INPUT c:/texlive/2018/texmf-dist/tex/latex/base/latexsym.sty -INPUT c:/texlive/2018/texmf-dist/tex/latex/url/url.sty -INPUT c:/texlive/2018/texmf-dist/tex/latex/url/url.sty -INPUT c:/texlive/2018/texmf-dist/tex/latex/base/inputenc.sty -INPUT c:/texlive/2018/texmf-dist/tex/latex/base/inputenc.sty -INPUT c:/texlive/2018/texmf-dist/tex/latex/base/fontenc.sty -INPUT c:/texlive/2018/texmf-dist/tex/latex/base/fontenc.sty -INPUT c:/texlive/2018/texmf-dist/tex/latex/base/t1enc.def -INPUT c:/texlive/2018/texmf-dist/tex/latex/base/t1enc.def -INPUT c:/texlive/2018/texmf-dist/fonts/map/fontname/texfonts.map -INPUT c:/texlive/2018/texmf-dist/fonts/tfm/jknappen/ec/ecrm1000.tfm -INPUT c:/Users/HD/Downloads/DisjunctiveProgramming.jl/paper/journal_dat.tex -INPUT c:/Users/HD/Downloads/DisjunctiveProgramming.jl/paper/journal_dat.tex -INPUT c:/texlive/2018/texmf-dist/fonts/tfm/jknappen/ec/ecrm0900.tfm -INPUT c:/texlive/2018/texmf-dist/fonts/tfm/public/cm/cmbx9.tfm -INPUT c:/texlive/2018/texmf-dist/tex/latex/psnfss/times.sty -INPUT c:/texlive/2018/texmf-dist/tex/latex/psnfss/times.sty -INPUT c:/texlive/2018/texmf-dist/tex/latex/tools/bm.sty -INPUT c:/texlive/2018/texmf-dist/tex/latex/tools/bm.sty -INPUT c:/texlive/2018/texmf-dist/tex/latex/graphics/graphicx.sty -INPUT c:/texlive/2018/texmf-dist/tex/latex/graphics/graphicx.sty -INPUT c:/texlive/2018/texmf-dist/tex/latex/graphics/graphics.sty -INPUT c:/texlive/2018/texmf-dist/tex/latex/graphics/graphics.sty -INPUT c:/texlive/2018/texmf-dist/tex/latex/graphics/trig.sty -INPUT c:/texlive/2018/texmf-dist/tex/latex/graphics/trig.sty -INPUT c:/texlive/2018/texmf-dist/tex/latex/graphics-cfg/graphics.cfg -INPUT c:/texlive/2018/texmf-dist/tex/latex/graphics-cfg/graphics.cfg -INPUT c:/texlive/2018/texmf-dist/tex/latex/graphics-def/pdftex.def -INPUT c:/texlive/2018/texmf-dist/tex/latex/graphics-def/pdftex.def -INPUT c:/texlive/2018/texmf-dist/tex/latex/hyperref/hyperref.sty -INPUT c:/texlive/2018/texmf-dist/tex/latex/hyperref/hyperref.sty -INPUT c:/texlive/2018/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty -INPUT c:/texlive/2018/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty -INPUT c:/texlive/2018/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty -INPUT c:/texlive/2018/texmf-dist/tex/generic/oberdiek/hobsub-generic.sty -INPUT c:/texlive/2018/texmf-dist/tex/generic/oberdiek/hobsub-generic.sty -INPUT c:/texlive/2018/texmf-dist/tex/generic/ifxetex/ifxetex.sty -INPUT c:/texlive/2018/texmf-dist/tex/generic/ifxetex/ifxetex.sty -INPUT c:/texlive/2018/texmf-dist/tex/latex/oberdiek/auxhook.sty -INPUT c:/texlive/2018/texmf-dist/tex/latex/oberdiek/auxhook.sty -INPUT c:/texlive/2018/texmf-dist/tex/latex/oberdiek/kvoptions.sty -INPUT c:/texlive/2018/texmf-dist/tex/latex/oberdiek/kvoptions.sty -INPUT c:/texlive/2018/texmf-dist/tex/latex/hyperref/pd1enc.def -INPUT c:/texlive/2018/texmf-dist/tex/latex/hyperref/pd1enc.def -INPUT c:/texlive/2018/texmf-dist/tex/latex/latexconfig/hyperref.cfg -INPUT c:/texlive/2018/texmf-dist/tex/latex/latexconfig/hyperref.cfg -INPUT c:/texlive/2018/texmf-dist/tex/latex/hyperref/hpdftex.def -INPUT c:/texlive/2018/texmf-dist/tex/latex/hyperref/hpdftex.def -INPUT c:/texlive/2018/texmf-dist/tex/latex/oberdiek/rerunfilecheck.sty -INPUT c:/texlive/2018/texmf-dist/tex/latex/oberdiek/rerunfilecheck.sty -INPUT c:/Users/HD/Downloads/DisjunctiveProgramming.jl/paper/jlcode.sty -INPUT c:/Users/HD/Downloads/DisjunctiveProgramming.jl/paper/jlcode.sty -INPUT c:/texlive/2018/texmf-dist/tex/latex/listings/listings.sty -INPUT c:/texlive/2018/texmf-dist/tex/latex/listings/listings.sty -INPUT c:/texlive/2018/texmf-dist/tex/latex/listings/lstmisc.sty -INPUT c:/texlive/2018/texmf-dist/tex/latex/listings/lstmisc.sty -INPUT c:/texlive/2018/texmf-dist/tex/latex/listings/listings.cfg -INPUT c:/texlive/2018/texmf-dist/tex/latex/listings/listings.cfg -INPUT c:/texlive/2018/texmf-dist/tex/latex/xcolor/xcolor.sty -INPUT c:/texlive/2018/texmf-dist/tex/latex/xcolor/xcolor.sty -INPUT c:/texlive/2018/texmf-dist/tex/latex/graphics-cfg/color.cfg -INPUT c:/texlive/2018/texmf-dist/tex/latex/graphics-cfg/color.cfg -INPUT c:/texlive/2018/texmf-dist/tex/latex/base/textcomp.sty -INPUT c:/texlive/2018/texmf-dist/tex/latex/base/textcomp.sty -INPUT c:/texlive/2018/texmf-dist/tex/latex/base/ts1enc.def -INPUT c:/texlive/2018/texmf-dist/tex/latex/base/ts1enc.def -INPUT c:/texlive/2018/texmf-dist/tex/latex/base/ts1enc.dfu -INPUT c:/texlive/2018/texmf-dist/tex/latex/base/ts1enc.dfu -INPUT c:/texlive/2018/texmf-dist/tex/latex/amsfonts/amssymb.sty -INPUT c:/texlive/2018/texmf-dist/tex/latex/amsfonts/amssymb.sty -INPUT c:/texlive/2018/texmf-dist/tex/latex/amsfonts/amsfonts.sty -INPUT c:/texlive/2018/texmf-dist/tex/latex/amsfonts/amsfonts.sty -INPUT c:/texlive/2018/texmf-dist/tex/latex/eurosym/eurosym.sty -INPUT c:/texlive/2018/texmf-dist/tex/latex/eurosym/eurosym.sty -INPUT c:/texlive/2018/texmf-dist/tex/latex/base/fontenc.sty -INPUT c:/texlive/2018/texmf-dist/tex/latex/base/fontenc.sty -INPUT c:/texlive/2018/texmf-dist/tex/latex/base/t1enc.def -INPUT c:/texlive/2018/texmf-dist/tex/latex/base/t1enc.def -INPUT c:/texlive/2018/texmf-dist/tex/latex/tools/calc.sty -INPUT c:/texlive/2018/texmf-dist/tex/latex/tools/calc.sty -INPUT c:/texlive/2018/texmf-dist/tex/latex/base/t1cmtt.fd -INPUT c:/texlive/2018/texmf-dist/tex/latex/base/t1cmtt.fd -INPUT c:/texlive/2018/texmf-dist/fonts/tfm/jknappen/ec/ectt0900.tfm -INPUT c:/texlive/2018/texmf-dist/tex/latex/preprint/authblk.sty -INPUT c:/texlive/2018/texmf-dist/tex/latex/preprint/authblk.sty -INPUT c:/texlive/2018/texmf-dist/tex/latex/amsmath/amsmath.sty -INPUT c:/texlive/2018/texmf-dist/tex/latex/amsmath/amsmath.sty -INPUT c:/texlive/2018/texmf-dist/tex/latex/amsmath/amstext.sty -INPUT c:/texlive/2018/texmf-dist/tex/latex/amsmath/amstext.sty -INPUT c:/texlive/2018/texmf-dist/tex/latex/amsmath/amsgen.sty -INPUT c:/texlive/2018/texmf-dist/tex/latex/amsmath/amsgen.sty -INPUT c:/texlive/2018/texmf-dist/tex/latex/amsmath/amsbsy.sty -INPUT c:/texlive/2018/texmf-dist/tex/latex/amsmath/amsbsy.sty -INPUT c:/texlive/2018/texmf-dist/tex/latex/amsmath/amsopn.sty -INPUT c:/texlive/2018/texmf-dist/tex/latex/amsmath/amsopn.sty -INPUT c:/texlive/2018/texmf-dist/tex/latex/float/float.sty -INPUT c:/texlive/2018/texmf-dist/tex/latex/float/float.sty -INPUT c:/Users/HD/Downloads/DisjunctiveProgramming.jl/paper/paper.aux -INPUT c:/Users/HD/Downloads/DisjunctiveProgramming.jl/paper/paper.aux -OUTPUT c:/Users/HD/Downloads/DisjunctiveProgramming.jl/paper/paper.aux -INPUT c:/texlive/2018/texmf-dist/tex/latex/base/ts1cmr.fd -INPUT c:/texlive/2018/texmf-dist/tex/latex/base/ts1cmr.fd -INPUT c:/texlive/2018/texmf-dist/tex/latex/psnfss/t1ptm.fd -INPUT c:/texlive/2018/texmf-dist/tex/latex/psnfss/t1ptm.fd -INPUT c:/texlive/2018/texmf-dist/fonts/tfm/adobe/times/ptmr8t.tfm -INPUT c:/texlive/2018/texmf-dist/tex/context/base/mkii/supp-pdf.mkii -INPUT c:/texlive/2018/texmf-dist/tex/context/base/mkii/supp-pdf.mkii -INPUT c:/texlive/2018/texmf-dist/tex/latex/oberdiek/epstopdf-base.sty -INPUT c:/texlive/2018/texmf-dist/tex/latex/oberdiek/epstopdf-base.sty -INPUT c:/texlive/2018/texmf-dist/tex/latex/oberdiek/grfext.sty -INPUT c:/texlive/2018/texmf-dist/tex/latex/oberdiek/grfext.sty -INPUT c:/texlive/2018/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg -INPUT c:/texlive/2018/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg -INPUT c:/texlive/2018/texmf-dist/tex/latex/hyperref/nameref.sty -INPUT c:/texlive/2018/texmf-dist/tex/latex/hyperref/nameref.sty -INPUT c:/texlive/2018/texmf-dist/tex/generic/oberdiek/gettitlestring.sty -INPUT c:/texlive/2018/texmf-dist/tex/generic/oberdiek/gettitlestring.sty -INPUT c:/Users/HD/Downloads/DisjunctiveProgramming.jl/paper/paper.out -INPUT c:/Users/HD/Downloads/DisjunctiveProgramming.jl/paper/paper.out -INPUT c:/Users/HD/Downloads/DisjunctiveProgramming.jl/paper/paper.out -INPUT c:/Users/HD/Downloads/DisjunctiveProgramming.jl/paper/paper.out -OUTPUT c:/Users/HD/Downloads/DisjunctiveProgramming.jl/paper/paper.pdf -INPUT c:/Users/HD/Downloads/DisjunctiveProgramming.jl/paper/paper.out -INPUT c:/Users/HD/Downloads/DisjunctiveProgramming.jl/paper/paper.out -OUTPUT c:/Users/HD/Downloads/DisjunctiveProgramming.jl/paper/paper.out -INPUT c:/Users/HD/Downloads/DisjunctiveProgramming.jl/paper/logojuliacon.pdf -INPUT c:/Users/HD/Downloads/DisjunctiveProgramming.jl/paper/logojuliacon.pdf -INPUT c:/Users/HD/Downloads/DisjunctiveProgramming.jl/paper/logojuliacon.pdf -INPUT c:/texlive/2018/texmf-dist/fonts/tfm/adobe/times/ptmr8t.tfm -INPUT c:/texlive/2018/texmf-dist/fonts/tfm/adobe/times/ptmr8t.tfm -INPUT c:/texlive/2018/texmf-dist/fonts/tfm/public/cm/cmr17.tfm -INPUT c:/texlive/2018/texmf-dist/fonts/tfm/public/cm/cmr12.tfm -INPUT c:/texlive/2018/texmf-dist/fonts/tfm/public/cm/cmmi12.tfm -INPUT c:/texlive/2018/texmf-dist/fonts/tfm/public/cm/cmmi12.tfm -INPUT c:/texlive/2018/texmf-dist/fonts/tfm/public/cm/cmsy10.tfm -INPUT c:/texlive/2018/texmf-dist/fonts/tfm/public/cm/cmsy10.tfm -INPUT c:/texlive/2018/texmf-dist/fonts/tfm/public/cm/cmex10.tfm -INPUT c:/texlive/2018/texmf-dist/fonts/tfm/public/cm/cmex10.tfm -INPUT c:/texlive/2018/texmf-dist/tex/latex/base/ulasy.fd -INPUT c:/texlive/2018/texmf-dist/tex/latex/base/ulasy.fd -INPUT c:/texlive/2018/texmf-dist/fonts/tfm/public/latex-fonts/lasy10.tfm -INPUT c:/texlive/2018/texmf-dist/fonts/tfm/public/latex-fonts/lasy10.tfm -INPUT c:/texlive/2018/texmf-dist/fonts/tfm/public/latex-fonts/lasy10.tfm -INPUT c:/texlive/2018/texmf-dist/fonts/tfm/public/cm/cmbx12.tfm -INPUT c:/texlive/2018/texmf-dist/fonts/tfm/public/cm/cmbx12.tfm -INPUT c:/texlive/2018/texmf-dist/fonts/tfm/public/cm/cmbx10.tfm -INPUT c:/texlive/2018/texmf-dist/fonts/tfm/public/cm/cmmib10.tfm -INPUT c:/texlive/2018/texmf-dist/fonts/tfm/public/cm/cmmib10.tfm -INPUT c:/texlive/2018/texmf-dist/fonts/tfm/public/cm/cmmib10.tfm -INPUT c:/texlive/2018/texmf-dist/fonts/tfm/public/cm/cmbsy10.tfm -INPUT c:/texlive/2018/texmf-dist/fonts/tfm/public/cm/cmbsy10.tfm -INPUT c:/texlive/2018/texmf-dist/fonts/tfm/public/cm/cmbsy10.tfm -INPUT c:/texlive/2018/texmf-dist/fonts/tfm/public/latex-fonts/lasyb10.tfm -INPUT c:/texlive/2018/texmf-dist/fonts/tfm/public/latex-fonts/lasyb10.tfm -INPUT c:/texlive/2018/texmf-dist/fonts/tfm/public/latex-fonts/lasyb10.tfm -INPUT c:/texlive/2018/texmf-dist/tex/latex/amsfonts/umsa.fd -INPUT c:/texlive/2018/texmf-dist/tex/latex/amsfonts/umsa.fd -INPUT c:/texlive/2018/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.tfm -INPUT c:/texlive/2018/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.tfm -INPUT c:/texlive/2018/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.tfm -INPUT c:/texlive/2018/texmf-dist/tex/latex/amsfonts/umsb.fd -INPUT c:/texlive/2018/texmf-dist/tex/latex/amsfonts/umsb.fd -INPUT c:/texlive/2018/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm -INPUT c:/texlive/2018/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm -INPUT c:/texlive/2018/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm -INPUT c:/texlive/2018/texmf-dist/fonts/tfm/adobe/times/ptmr8t.tfm -INPUT c:/texlive/2018/texmf-dist/fonts/tfm/adobe/times/ptmr8t.tfm -INPUT c:/texlive/2018/texmf-dist/fonts/tfm/adobe/times/ptmb8t.tfm -INPUT c:/texlive/2018/texmf-dist/fonts/tfm/public/cm/cmr9.tfm -INPUT c:/texlive/2018/texmf-dist/fonts/tfm/public/cm/cmr6.tfm -INPUT c:/texlive/2018/texmf-dist/fonts/tfm/public/cm/cmmi9.tfm -INPUT c:/texlive/2018/texmf-dist/fonts/tfm/public/cm/cmmi6.tfm -INPUT c:/texlive/2018/texmf-dist/fonts/tfm/public/cm/cmsy10.tfm -INPUT c:/texlive/2018/texmf-dist/fonts/tfm/public/cm/cmsy10.tfm -INPUT c:/texlive/2018/texmf-dist/fonts/tfm/public/cm/cmsy10.tfm -INPUT c:/texlive/2018/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex9.tfm -INPUT c:/texlive/2018/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex7.tfm -INPUT c:/texlive/2018/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex7.tfm -INPUT c:/texlive/2018/texmf-dist/fonts/tfm/public/latex-fonts/lasy9.tfm -INPUT c:/texlive/2018/texmf-dist/fonts/tfm/public/latex-fonts/lasy6.tfm -INPUT c:/texlive/2018/texmf-dist/fonts/tfm/public/latex-fonts/lasy5.tfm -INPUT c:/texlive/2018/texmf-dist/fonts/tfm/public/cm/cmbx6.tfm -INPUT c:/texlive/2018/texmf-dist/fonts/tfm/public/cm/cmbx5.tfm -INPUT c:/texlive/2018/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmmib9.tfm -INPUT c:/texlive/2018/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmmib6.tfm -INPUT c:/texlive/2018/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmmib5.tfm -INPUT c:/texlive/2018/texmf-dist/fonts/tfm/public/cm/cmbsy10.tfm -INPUT c:/texlive/2018/texmf-dist/fonts/tfm/public/cm/cmbsy10.tfm -INPUT c:/texlive/2018/texmf-dist/fonts/tfm/public/cm/cmbsy10.tfm -INPUT c:/texlive/2018/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.tfm -INPUT c:/texlive/2018/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam7.tfm -INPUT c:/texlive/2018/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam5.tfm -INPUT c:/texlive/2018/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm -INPUT c:/texlive/2018/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm7.tfm -INPUT c:/texlive/2018/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm5.tfm -INPUT c:/texlive/2018/texmf-dist/fonts/tfm/adobe/times/ptmr8t.tfm -INPUT c:/texlive/2018/texmf-dist/fonts/tfm/adobe/times/ptmr8t.tfm -INPUT c:/texlive/2018/texmf-dist/fonts/tfm/adobe/times/ptmri8t.tfm -INPUT c:/texlive/2018/texmf-dist/fonts/vf/adobe/times/ptmr8t.vf -INPUT c:/texlive/2018/texmf-dist/fonts/tfm/adobe/times/ptmr8r.tfm -INPUT c:/texlive/2018/texmf-var/fonts/map/pdftex/updmap/pdftex.map -INPUT c:/texlive/2018/texmf-dist/fonts/vf/adobe/times/ptmr8t.vf -INPUT c:/texlive/2018/texmf-dist/fonts/tfm/adobe/times/ptmr8r.tfm -INPUT c:/texlive/2018/texmf-dist/fonts/vf/adobe/times/ptmr8t.vf -INPUT c:/texlive/2018/texmf-dist/fonts/tfm/adobe/times/ptmr8r.tfm -INPUT c:/texlive/2018/texmf-dist/fonts/vf/adobe/times/ptmb8t.vf -INPUT c:/texlive/2018/texmf-dist/fonts/tfm/adobe/times/ptmb8r.tfm -INPUT c:/texlive/2018/texmf-dist/fonts/vf/adobe/times/ptmri8t.vf -INPUT c:/texlive/2018/texmf-dist/fonts/tfm/adobe/times/ptmri8r.tfm -INPUT c:/texlive/2018/texmf-dist/fonts/tfm/adobe/times/ptmr8t.tfm -INPUT c:/Users/HD/Downloads/DisjunctiveProgramming.jl/paper/solnspace.png -INPUT c:/Users/HD/Downloads/DisjunctiveProgramming.jl/paper/solnspace.png -INPUT c:/Users/HD/Downloads/DisjunctiveProgramming.jl/paper/solnspace.png -INPUT c:/texlive/2018/texmf-dist/fonts/tfm/public/cm/cmr8.tfm -INPUT c:/texlive/2018/texmf-dist/fonts/tfm/public/cm/cmmi8.tfm -INPUT c:/texlive/2018/texmf-dist/fonts/tfm/public/cm/cmsy10.tfm -INPUT c:/texlive/2018/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex8.tfm -INPUT c:/texlive/2018/texmf-dist/fonts/tfm/public/latex-fonts/lasy8.tfm -INPUT c:/texlive/2018/texmf-dist/fonts/tfm/public/cm/cmbx8.tfm -INPUT c:/texlive/2018/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmmib8.tfm -INPUT c:/texlive/2018/texmf-dist/fonts/tfm/public/cm/cmbsy10.tfm -INPUT c:/texlive/2018/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.tfm -INPUT c:/texlive/2018/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm -INPUT c:/Users/HD/Downloads/DisjunctiveProgramming.jl/paper/bigm.png -INPUT c:/Users/HD/Downloads/DisjunctiveProgramming.jl/paper/bigm.png -INPUT c:/Users/HD/Downloads/DisjunctiveProgramming.jl/paper/bigm.png -INPUT c:/Users/HD/Downloads/DisjunctiveProgramming.jl/paper/chr.png -INPUT c:/Users/HD/Downloads/DisjunctiveProgramming.jl/paper/chr.png -INPUT c:/Users/HD/Downloads/DisjunctiveProgramming.jl/paper/chr.png -INPUT c:/texlive/2018/texmf-dist/fonts/vf/adobe/times/ptmr8t.vf -INPUT c:/texlive/2018/texmf-dist/fonts/tfm/adobe/times/ptmr8r.tfm -INPUT c:/texlive/2018/texmf-dist/fonts/tfm/adobe/times/ptmb8t.tfm -INPUT c:/Users/HD/Downloads/DisjunctiveProgramming.jl/paper/superstructure_pfd.png -INPUT c:/Users/HD/Downloads/DisjunctiveProgramming.jl/paper/superstructure_pfd.png -INPUT c:/Users/HD/Downloads/DisjunctiveProgramming.jl/paper/superstructure_pfd.png -INPUT c:/texlive/2018/texmf-dist/fonts/vf/adobe/times/ptmb8t.vf -INPUT c:/texlive/2018/texmf-dist/fonts/tfm/adobe/times/ptmb8r.tfm -INPUT c:/texlive/2018/texmf-dist/fonts/tfm/jknappen/ec/ectt0800.tfm -INPUT c:/texlive/2018/texmf-dist/fonts/tfm/adobe/times/ptmr8t.tfm -INPUT c:/texlive/2018/texmf-dist/fonts/tfm/public/cm/cmsy10.tfm -INPUT c:/texlive/2018/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex7.tfm -INPUT c:/texlive/2018/texmf-dist/fonts/tfm/public/latex-fonts/lasy7.tfm -INPUT c:/texlive/2018/texmf-dist/fonts/tfm/public/cm/cmbx7.tfm -INPUT c:/texlive/2018/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmmib7.tfm -INPUT c:/texlive/2018/texmf-dist/fonts/tfm/public/cm/cmbsy10.tfm -INPUT c:/texlive/2018/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam7.tfm -INPUT c:/texlive/2018/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm7.tfm -INPUT c:/Users/HD/Downloads/DisjunctiveProgramming.jl/paper/bib.tex -INPUT c:/Users/HD/Downloads/DisjunctiveProgramming.jl/paper/bib.tex -INPUT c:/Users/HD/Downloads/DisjunctiveProgramming.jl/paper/paper.bbl -INPUT c:/Users/HD/Downloads/DisjunctiveProgramming.jl/paper/paper.bbl -INPUT c:/Users/HD/Downloads/DisjunctiveProgramming.jl/paper/paper.aux -INPUT c:/Users/HD/Downloads/DisjunctiveProgramming.jl/paper/paper.out -INPUT c:/Users/HD/Downloads/DisjunctiveProgramming.jl/paper/paper.out -INPUT c:/texlive/2018/texmf-dist/fonts/enc/dvips/cm-super/cm-super-t1.enc -INPUT c:/texlive/2018/texmf-dist/fonts/enc/dvips/base/8r.enc -INPUT c:/texlive/2018/texmf-dist/fonts/type1/public/amsfonts/cmextra/cmex9.pfb -INPUT c:/texlive/2018/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi5.pfb -INPUT c:/texlive/2018/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi6.pfb -INPUT c:/texlive/2018/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi7.pfb -INPUT c:/texlive/2018/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi9.pfb -INPUT c:/texlive/2018/texmf-dist/fonts/type1/public/amsfonts/cm/cmr5.pfb -INPUT c:/texlive/2018/texmf-dist/fonts/type1/public/amsfonts/cm/cmr6.pfb -INPUT c:/texlive/2018/texmf-dist/fonts/type1/public/amsfonts/cm/cmr9.pfb -INPUT c:/texlive/2018/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10.pfb -INPUT c:/texlive/2018/texmf-dist/fonts/type1/public/amsfonts/latxfont/lcircle1.pfb -INPUT c:/texlive/2018/texmf-dist/fonts/type1/public/amsfonts/symbols/msbm10.pfb -INPUT c:/texlive/2018/texmf-dist/fonts/type1/public/cm-super/sftt0800.pfb -INPUT c:/texlive/2018/texmf-dist/fonts/type1/public/cm-super/sftt0900.pfb -INPUT c:/texlive/2018/texmf-dist/fonts/type1/urw/times/utmb8a.pfb -INPUT c:/texlive/2018/texmf-dist/fonts/type1/urw/times/utmr8a.pfb -INPUT c:/texlive/2018/texmf-dist/fonts/type1/urw/times/utmri8a.pfb diff --git a/paper/paper.log b/paper/paper.log deleted file mode 100644 index b92d7ff..0000000 --- a/paper/paper.log +++ /dev/null @@ -1,891 +0,0 @@ -This is pdfTeX, Version 3.14159265-2.6-1.40.19 (TeX Live 2018/W32TeX) (preloaded format=pdflatex 2018.7.27) 11 DEC 2023 18:42 -entering extended mode - restricted \write18 enabled. - file:line:error style messages enabled. - %&-line parsing enabled. -**c:/Users/HD/Downloads/DisjunctiveProgramming.jl/paper/paper.tex -(c:/Users/HD/Downloads/DisjunctiveProgramming.jl/paper/paper.tex -LaTeX2e <2018-04-01> patch level 5 -(c:/Users/HD/Downloads/DisjunctiveProgramming.jl/paper/juliacon.cls (c:/texlive/2018/texmf-dist/tex/latex/psnfss/helvet.sty -Package: helvet 2005/04/12 PSNFSS-v9.2a (WaS) - (c:/texlive/2018/texmf-dist/tex/latex/graphics/keyval.sty -Package: keyval 2014/10/28 v1.15 key=value parser (DPC) -\KV@toks@=\toks14 -)) -Document Class: juliacon -(c:/texlive/2018/texmf-dist/tex/latex/base/latexsym.sty -Package: latexsym 1998/08/17 v2.2e Standard LaTeX package (lasy symbols) -\symlasy=\mathgroup4 -LaTeX Font Info: Overwriting symbol font `lasy' in version `bold' -(Font) U/lasy/m/n --> U/lasy/b/n on input line 52. -) (c:/texlive/2018/texmf-dist/tex/latex/url/url.sty -\Urlmuskip=\muskip10 -Package: url 2013/09/16 ver 3.4 Verb mode for urls, etc. -) (c:/texlive/2018/texmf-dist/tex/latex/base/inputenc.sty -Package: inputenc 2018/04/06 v1.3b Input encoding file -\inpenc@prehook=\toks15 -\inpenc@posthook=\toks16 -) (c:/texlive/2018/texmf-dist/tex/latex/base/fontenc.sty -Package: fontenc 2017/04/05 v2.0i Standard LaTeX package - (c:/texlive/2018/texmf-dist/tex/latex/base/t1enc.def -File: t1enc.def 2017/04/05 v2.0i Standard LaTeX file -LaTeX Font Info: Redeclaring font encoding T1 on input line 48. -)) -\trimheight=\dimen102 -\trimwidth=\dimen103 -\typeheight=\dimen104 -\typewidth=\dimen105 -\normaltextheight=\dimen106 -\blindfoliodrop=\dimen107 -\tempbox=\box26 - (c:/Users/HD/Downloads/DisjunctiveProgramming.jl/paper/journal_dat.tex) -\tempdimen=\dimen108 -\normaltextheight=\dimen109 -\c@secnumbookdepth=\count80 -\c@theorem=\count81 -\c@strategy=\count82 -\c@property=\count83 -\c@proposition=\count84 -\c@exam=\count85 -\c@part=\count86 -\c@section=\count87 -\c@subsection=\count88 -\c@subsubsection=\count89 -\c@paragraph=\count90 -\c@figure=\count91 -\c@table=\count92 -\belowcaptionskip=\skip41 -\tbbox=\box27 -\tabledim=\dimen110 -\@narrowfig=\dimen111 -\@nfigbox=\box28 -\@nfcapbox=\box29 -\@abstract=\box30 -\@terms=\box31 -\@keywords=\box32 -\bibindent=\dimen112 -LaTeX Info: Redefining \cal on input line 900. - (c:/texlive/2018/texmf-dist/tex/latex/psnfss/times.sty -Package: times 2005/04/12 PSNFSS-v9.2a (SPQR) -) (c:/texlive/2018/texmf-dist/tex/latex/tools/bm.sty -Package: bm 2017/01/16 v1.2c Bold Symbol Support (DPC/FMi) -\symboldoperators=\mathgroup5 -\symboldletters=\mathgroup6 -\symboldsymbols=\mathgroup7 -\symboldlasy=\mathgroup8 -LaTeX Font Info: Redeclaring math alphabet \mathbf on input line 141. -LaTeX Info: Redefining \bm on input line 207. -) (c:/texlive/2018/texmf-dist/tex/latex/graphics/graphicx.sty -Package: graphicx 2017/06/01 v1.1a Enhanced LaTeX Graphics (DPC,SPQR) - (c:/texlive/2018/texmf-dist/tex/latex/graphics/graphics.sty -Package: graphics 2017/06/25 v1.2c Standard LaTeX Graphics (DPC,SPQR) - (c:/texlive/2018/texmf-dist/tex/latex/graphics/trig.sty -Package: trig 2016/01/03 v1.10 sin cos tan (DPC) -) (c:/texlive/2018/texmf-dist/tex/latex/graphics-cfg/graphics.cfg -File: graphics.cfg 2016/06/04 v1.11 sample graphics configuration -) -Package graphics Info: Driver file: pdftex.def on input line 99. - (c:/texlive/2018/texmf-dist/tex/latex/graphics-def/pdftex.def -File: pdftex.def 2018/01/08 v1.0l Graphics/color driver for pdftex -)) -\Gin@req@height=\dimen113 -\Gin@req@width=\dimen114 -) (c:/texlive/2018/texmf-dist/tex/latex/hyperref/hyperref.sty -Package: hyperref 2018/02/06 v6.86b Hypertext links for LaTeX - (c:/texlive/2018/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty -Package: hobsub-hyperref 2016/05/16 v1.14 Bundle oberdiek, subset hyperref (HO) - (c:/texlive/2018/texmf-dist/tex/generic/oberdiek/hobsub-generic.sty -Package: hobsub-generic 2016/05/16 v1.14 Bundle oberdiek, subset generic (HO) -Package: hobsub 2016/05/16 v1.14 Construct package bundles (HO) -Package: infwarerr 2016/05/16 v1.4 Providing info/warning/error messages (HO) -Package: ltxcmds 2016/05/16 v1.23 LaTeX kernel commands for general use (HO) -Package: ifluatex 2016/05/16 v1.4 Provides the ifluatex switch (HO) -Package ifluatex Info: LuaTeX not detected. -Package: ifvtex 2016/05/16 v1.6 Detect VTeX and its facilities (HO) -Package ifvtex Info: VTeX not detected. -Package: intcalc 2016/05/16 v1.2 Expandable calculations with integers (HO) -Package: ifpdf 2017/03/15 v3.2 Provides the ifpdf switch -Package: etexcmds 2016/05/16 v1.6 Avoid name clashes with e-TeX commands (HO) -Package etexcmds Info: Could not find \expanded. -(etexcmds) That can mean that you are not using pdfTeX 1.50 or -(etexcmds) that some package has redefined \expanded. -(etexcmds) In the latter case, load this package earlier. -Package: kvsetkeys 2016/05/16 v1.17 Key value parser (HO) -Package: kvdefinekeys 2016/05/16 v1.4 Define keys (HO) -Package: pdftexcmds 2018/01/30 v0.27 Utility functions of pdfTeX for LuaTeX (HO) -Package pdftexcmds Info: LuaTeX not detected. -Package pdftexcmds Info: \pdf@primitive is available. -Package pdftexcmds Info: \pdf@ifprimitive is available. -Package pdftexcmds Info: \pdfdraftmode found. -Package: pdfescape 2016/05/16 v1.14 Implements pdfTeX's escape features (HO) -Package: bigintcalc 2016/05/16 v1.4 Expandable calculations on big integers (HO) -Package: bitset 2016/05/16 v1.2 Handle bit-vector datatype (HO) -Package: uniquecounter 2016/05/16 v1.3 Provide unlimited unique counter (HO) -) -Package hobsub Info: Skipping package `hobsub' (already loaded). -Package: letltxmacro 2016/05/16 v1.5 Let assignment for LaTeX macros (HO) -Package: hopatch 2016/05/16 v1.3 Wrapper for package hooks (HO) -Package: xcolor-patch 2016/05/16 xcolor patch -Package: atveryend 2016/05/16 v1.9 Hooks at the very end of document (HO) -Package atveryend Info: \enddocument detected (standard20110627). -Package: atbegshi 2016/06/09 v1.18 At begin shipout hook (HO) -Package: refcount 2016/05/16 v3.5 Data extraction from label references (HO) -Package: hycolor 2016/05/16 v1.8 Color options for hyperref/bookmark (HO) -) (c:/texlive/2018/texmf-dist/tex/generic/ifxetex/ifxetex.sty -Package: ifxetex 2010/09/12 v0.6 Provides ifxetex conditional -) (c:/texlive/2018/texmf-dist/tex/latex/oberdiek/auxhook.sty -Package: auxhook 2016/05/16 v1.4 Hooks for auxiliary files (HO) -) (c:/texlive/2018/texmf-dist/tex/latex/oberdiek/kvoptions.sty -Package: kvoptions 2016/05/16 v3.12 Key value format for package options (HO) -) -\@linkdim=\dimen115 -\Hy@linkcounter=\count93 -\Hy@pagecounter=\count94 - (c:/texlive/2018/texmf-dist/tex/latex/hyperref/pd1enc.def -File: pd1enc.def 2018/02/06 v6.86b Hyperref: PDFDocEncoding definition (HO) -Now handling font encoding PD1 ... -... no UTF-8 mapping file for font encoding PD1 -) -\Hy@SavedSpaceFactor=\count95 - (c:/texlive/2018/texmf-dist/tex/latex/latexconfig/hyperref.cfg -File: hyperref.cfg 2002/06/06 v1.2 hyperref configuration of TeXLive -) -Package hyperref Info: Hyper figures OFF on input line 4509. -Package hyperref Info: Link nesting OFF on input line 4514. -Package hyperref Info: Hyper index ON on input line 4517. -Package hyperref Info: Plain pages OFF on input line 4524. -Package hyperref Info: Backreferencing OFF on input line 4529. -Package hyperref Info: Implicit mode ON; LaTeX internals redefined. -Package hyperref Info: Bookmarks ON on input line 4762. -\c@Hy@tempcnt=\count96 -LaTeX Info: Redefining \url on input line 5115. -\XeTeXLinkMargin=\dimen116 -\Fld@menulength=\count97 -\Field@Width=\dimen117 -\Fld@charsize=\dimen118 -Package hyperref Info: Hyper figures OFF on input line 6369. -Package hyperref Info: Link nesting OFF on input line 6374. -Package hyperref Info: Hyper index ON on input line 6377. -Package hyperref Info: backreferencing OFF on input line 6384. -Package hyperref Info: Link coloring OFF on input line 6389. -Package hyperref Info: Link coloring with OCG OFF on input line 6394. -Package hyperref Info: PDF/A mode OFF on input line 6399. -LaTeX Info: Redefining \ref on input line 6439. -LaTeX Info: Redefining \pageref on input line 6443. -\Hy@abspage=\count98 -\c@Item=\count99 -\c@Hfootnote=\count100 -) -Package hyperref Info: Driver (autodetected): hpdftex. - (c:/texlive/2018/texmf-dist/tex/latex/hyperref/hpdftex.def -File: hpdftex.def 2018/02/06 v6.86b Hyperref driver for pdfTeX -\Fld@listcount=\count101 -\c@bookmark@seq@number=\count102 - (c:/texlive/2018/texmf-dist/tex/latex/oberdiek/rerunfilecheck.sty -Package: rerunfilecheck 2016/05/16 v1.8 Rerun checks for auxiliary files (HO) -Package uniquecounter Info: New unique counter `rerunfilecheck' on input line 282. -) -\Hy@SectionHShift=\skip42 -) (c:/Users/HD/Downloads/DisjunctiveProgramming.jl/paper/jlcode.sty --- Package: `jlcode' 2.1 <2018/03/06> -- -Package: jlcode 2018/03/06 2.1 -(c:/texlive/2018/texmf-dist/tex/latex/listings/listings.sty -\lst@mode=\count103 -\lst@gtempboxa=\box33 -\lst@token=\toks17 -\lst@length=\count104 -\lst@currlwidth=\dimen119 -\lst@column=\count105 -\lst@pos=\count106 -\lst@lostspace=\dimen120 -\lst@width=\dimen121 -\lst@newlines=\count107 -\lst@lineno=\count108 -\abovecaptionskip=\skip43 -\belowcaptionskip=\skip44 -\lst@maxwidth=\dimen122 - (c:/texlive/2018/texmf-dist/tex/latex/listings/lstmisc.sty -File: lstmisc.sty 2015/06/04 1.6 (Carsten Heinz) -\c@lstnumber=\count109 -\lst@skipnumbers=\count110 -\lst@framebox=\box34 -) (c:/texlive/2018/texmf-dist/tex/latex/listings/listings.cfg -File: listings.cfg 2015/06/04 1.6 listings configuration -)) -Package: listings 2015/06/04 1.6 (Carsten Heinz) - (c:/texlive/2018/texmf-dist/tex/latex/xcolor/xcolor.sty -Package: xcolor 2016/05/11 v2.12 LaTeX color extensions (UK) - (c:/texlive/2018/texmf-dist/tex/latex/graphics-cfg/color.cfg -File: color.cfg 2016/01/02 v1.6 sample color configuration -) -Package xcolor Info: Driver file: pdftex.def on input line 225. -Package xcolor Info: Model `cmy' substituted by `cmy0' on input line 1348. -Package xcolor Info: Model `hsb' substituted by `rgb' on input line 1352. -Package xcolor Info: Model `RGB' extended on input line 1364. -Package xcolor Info: Model `HTML' substituted by `rgb' on input line 1366. -Package xcolor Info: Model `Hsb' substituted by `hsb' on input line 1367. -Package xcolor Info: Model `tHsb' substituted by `hsb' on input line 1368. -Package xcolor Info: Model `HSB' substituted by `hsb' on input line 1369. -Package xcolor Info: Model `Gray' substituted by `gray' on input line 1370. -Package xcolor Info: Model `wave' substituted by `hsb' on input line 1371. -) (c:/texlive/2018/texmf-dist/tex/latex/base/textcomp.sty -Package: textcomp 2017/04/05 v2.0i Standard LaTeX package -Package textcomp Info: Sub-encoding information: -(textcomp) 5 = only ISO-Adobe without \textcurrency -(textcomp) 4 = 5 + \texteuro -(textcomp) 3 = 4 + \textohm -(textcomp) 2 = 3 + \textestimated + \textcurrency -(textcomp) 1 = TS1 - \textcircled - \t -(textcomp) 0 = TS1 (full) -(textcomp) Font families with sub-encoding setting implement -(textcomp) only a restricted character set as indicated. -(textcomp) Family '?' is the default used for unknown fonts. -(textcomp) See the documentation for details. -Package textcomp Info: Setting ? sub-encoding to TS1/1 on input line 79. - (c:/texlive/2018/texmf-dist/tex/latex/base/ts1enc.def -File: ts1enc.def 2001/06/05 v3.0e (jk/car/fm) Standard LaTeX file -Now handling font encoding TS1 ... -... processing UTF-8 mapping file for font encoding TS1 - (c:/texlive/2018/texmf-dist/tex/latex/base/ts1enc.dfu -File: ts1enc.dfu 2018/04/05 v1.2c UTF-8 support for inputenc - defining Unicode char U+00A2 (decimal 162) - defining Unicode char U+00A3 (decimal 163) - defining Unicode char U+00A4 (decimal 164) - defining Unicode char U+00A5 (decimal 165) - defining Unicode char U+00A6 (decimal 166) - defining Unicode char U+00A7 (decimal 167) - defining Unicode char U+00A8 (decimal 168) - defining Unicode char U+00A9 (decimal 169) - defining Unicode char U+00AA (decimal 170) - defining Unicode char U+00AC (decimal 172) - defining Unicode char U+00AE (decimal 174) - defining Unicode char U+00AF (decimal 175) - defining Unicode char U+00B0 (decimal 176) - defining Unicode char U+00B1 (decimal 177) - defining Unicode char U+00B2 (decimal 178) - defining Unicode char U+00B3 (decimal 179) - defining Unicode char U+00B4 (decimal 180) - defining Unicode char U+00B5 (decimal 181) - defining Unicode char U+00B6 (decimal 182) - defining Unicode char U+00B7 (decimal 183) - defining Unicode char U+00B9 (decimal 185) - defining Unicode char U+00BA (decimal 186) - defining Unicode char U+00BC (decimal 188) - defining Unicode char U+00BD (decimal 189) - defining Unicode char U+00BE (decimal 190) - defining Unicode char U+00D7 (decimal 215) - defining Unicode char U+00F7 (decimal 247) - defining Unicode char U+0192 (decimal 402) - defining Unicode char U+02C7 (decimal 711) - defining Unicode char U+02D8 (decimal 728) - defining Unicode char U+02DD (decimal 733) - defining Unicode char U+0E3F (decimal 3647) - defining Unicode char U+2016 (decimal 8214) - defining Unicode char U+2020 (decimal 8224) - defining Unicode char U+2021 (decimal 8225) - defining Unicode char U+2022 (decimal 8226) - defining Unicode char U+2030 (decimal 8240) - defining Unicode char U+2031 (decimal 8241) - defining Unicode char U+203B (decimal 8251) - defining Unicode char U+203D (decimal 8253) - defining Unicode char U+2044 (decimal 8260) - defining Unicode char U+204E (decimal 8270) - defining Unicode char U+2052 (decimal 8274) - defining Unicode char U+20A1 (decimal 8353) - defining Unicode char U+20A4 (decimal 8356) - defining Unicode char U+20A6 (decimal 8358) - defining Unicode char U+20A9 (decimal 8361) - defining Unicode char U+20AB (decimal 8363) - defining Unicode char U+20AC (decimal 8364) - defining Unicode char U+20B1 (decimal 8369) - defining Unicode char U+2103 (decimal 8451) - defining Unicode char U+2116 (decimal 8470) - defining Unicode char U+2117 (decimal 8471) - defining Unicode char U+211E (decimal 8478) - defining Unicode char U+2120 (decimal 8480) - defining Unicode char U+2122 (decimal 8482) - defining Unicode char U+2126 (decimal 8486) - defining Unicode char U+2127 (decimal 8487) - defining Unicode char U+212E (decimal 8494) - defining Unicode char U+2190 (decimal 8592) - defining Unicode char U+2191 (decimal 8593) - defining Unicode char U+2192 (decimal 8594) - defining Unicode char U+2193 (decimal 8595) - defining Unicode char U+2329 (decimal 9001) - defining Unicode char U+232A (decimal 9002) - defining Unicode char U+2422 (decimal 9250) - defining Unicode char U+25E6 (decimal 9702) - defining Unicode char U+25EF (decimal 9711) - defining Unicode char U+266A (decimal 9834) - defining Unicode char U+FEFF (decimal 65279) -)) -LaTeX Info: Redefining \oldstylenums on input line 334. -Package textcomp Info: Setting cmr sub-encoding to TS1/0 on input line 349. -Package textcomp Info: Setting cmss sub-encoding to TS1/0 on input line 350. -Package textcomp Info: Setting cmtt sub-encoding to TS1/0 on input line 351. -Package textcomp Info: Setting cmvtt sub-encoding to TS1/0 on input line 352. -Package textcomp Info: Setting cmbr sub-encoding to TS1/0 on input line 353. -Package textcomp Info: Setting cmtl sub-encoding to TS1/0 on input line 354. -Package textcomp Info: Setting ccr sub-encoding to TS1/0 on input line 355. -Package textcomp Info: Setting ptm sub-encoding to TS1/4 on input line 356. -Package textcomp Info: Setting pcr sub-encoding to TS1/4 on input line 357. -Package textcomp Info: Setting phv sub-encoding to TS1/4 on input line 358. -Package textcomp Info: Setting ppl sub-encoding to TS1/3 on input line 359. -Package textcomp Info: Setting pag sub-encoding to TS1/4 on input line 360. -Package textcomp Info: Setting pbk sub-encoding to TS1/4 on input line 361. -Package textcomp Info: Setting pnc sub-encoding to TS1/4 on input line 362. -Package textcomp Info: Setting pzc sub-encoding to TS1/4 on input line 363. -Package textcomp Info: Setting bch sub-encoding to TS1/4 on input line 364. -Package textcomp Info: Setting put sub-encoding to TS1/5 on input line 365. -Package textcomp Info: Setting uag sub-encoding to TS1/5 on input line 366. -Package textcomp Info: Setting ugq sub-encoding to TS1/5 on input line 367. -Package textcomp Info: Setting ul8 sub-encoding to TS1/4 on input line 368. -Package textcomp Info: Setting ul9 sub-encoding to TS1/4 on input line 369. -Package textcomp Info: Setting augie sub-encoding to TS1/5 on input line 370. -Package textcomp Info: Setting dayrom sub-encoding to TS1/3 on input line 371. -Package textcomp Info: Setting dayroms sub-encoding to TS1/3 on input line 372. -Package textcomp Info: Setting pxr sub-encoding to TS1/0 on input line 373. -Package textcomp Info: Setting pxss sub-encoding to TS1/0 on input line 374. -Package textcomp Info: Setting pxtt sub-encoding to TS1/0 on input line 375. -Package textcomp Info: Setting txr sub-encoding to TS1/0 on input line 376. -Package textcomp Info: Setting txss sub-encoding to TS1/0 on input line 377. -Package textcomp Info: Setting txtt sub-encoding to TS1/0 on input line 378. -Package textcomp Info: Setting lmr sub-encoding to TS1/0 on input line 379. -Package textcomp Info: Setting lmdh sub-encoding to TS1/0 on input line 380. -Package textcomp Info: Setting lmss sub-encoding to TS1/0 on input line 381. -Package textcomp Info: Setting lmssq sub-encoding to TS1/0 on input line 382. -Package textcomp Info: Setting lmvtt sub-encoding to TS1/0 on input line 383. -Package textcomp Info: Setting lmtt sub-encoding to TS1/0 on input line 384. -Package textcomp Info: Setting qhv sub-encoding to TS1/0 on input line 385. -Package textcomp Info: Setting qag sub-encoding to TS1/0 on input line 386. -Package textcomp Info: Setting qbk sub-encoding to TS1/0 on input line 387. -Package textcomp Info: Setting qcr sub-encoding to TS1/0 on input line 388. -Package textcomp Info: Setting qcs sub-encoding to TS1/0 on input line 389. -Package textcomp Info: Setting qpl sub-encoding to TS1/0 on input line 390. -Package textcomp Info: Setting qtm sub-encoding to TS1/0 on input line 391. -Package textcomp Info: Setting qzc sub-encoding to TS1/0 on input line 392. -Package textcomp Info: Setting qhvc sub-encoding to TS1/0 on input line 393. -Package textcomp Info: Setting futs sub-encoding to TS1/4 on input line 394. -Package textcomp Info: Setting futx sub-encoding to TS1/4 on input line 395. -Package textcomp Info: Setting futj sub-encoding to TS1/4 on input line 396. -Package textcomp Info: Setting hlh sub-encoding to TS1/3 on input line 397. -Package textcomp Info: Setting hls sub-encoding to TS1/3 on input line 398. -Package textcomp Info: Setting hlst sub-encoding to TS1/3 on input line 399. -Package textcomp Info: Setting hlct sub-encoding to TS1/5 on input line 400. -Package textcomp Info: Setting hlx sub-encoding to TS1/5 on input line 401. -Package textcomp Info: Setting hlce sub-encoding to TS1/5 on input line 402. -Package textcomp Info: Setting hlcn sub-encoding to TS1/5 on input line 403. -Package textcomp Info: Setting hlcw sub-encoding to TS1/5 on input line 404. -Package textcomp Info: Setting hlcf sub-encoding to TS1/5 on input line 405. -Package textcomp Info: Setting pplx sub-encoding to TS1/3 on input line 406. -Package textcomp Info: Setting pplj sub-encoding to TS1/3 on input line 407. -Package textcomp Info: Setting ptmx sub-encoding to TS1/4 on input line 408. -Package textcomp Info: Setting ptmj sub-encoding to TS1/4 on input line 409. -) (c:/texlive/2018/texmf-dist/tex/latex/amsfonts/amssymb.sty -Package: amssymb 2013/01/14 v3.01 AMS font symbols - (c:/texlive/2018/texmf-dist/tex/latex/amsfonts/amsfonts.sty -Package: amsfonts 2013/01/14 v3.01 Basic AMSFonts support -\@emptytoks=\toks18 -\symAMSa=\mathgroup9 -\symAMSb=\mathgroup10 -LaTeX Font Info: Overwriting math alphabet `\mathfrak' in version `bold' -(Font) U/euf/m/n --> U/euf/b/n on input line 106. -)) (c:/texlive/2018/texmf-dist/tex/latex/eurosym/eurosym.sty -Package: eurosym 1998/08/06 v1.1 European currency symbol ``Euro'' -\@eurobox=\box35 -) (c:/texlive/2018/texmf-dist/tex/latex/base/fontenc.sty -Package: fontenc 2017/04/05 v2.0i Standard LaTeX package - (c:/texlive/2018/texmf-dist/tex/latex/base/t1enc.def -File: t1enc.def 2017/04/05 v2.0i Standard LaTeX file -LaTeX Font Info: Redeclaring font encoding T1 on input line 48. -)) (c:/texlive/2018/texmf-dist/tex/latex/tools/calc.sty -Package: calc 2017/05/25 v4.3 Infix arithmetic (KKT,FJ) -\calc@Acount=\count111 -\calc@Bcount=\count112 -\calc@Adimen=\dimen123 -\calc@Bdimen=\dimen124 -\calc@Askip=\skip45 -\calc@Bskip=\skip46 -LaTeX Info: Redefining \setlength on input line 80. -LaTeX Info: Redefining \addtolength on input line 81. -\calc@Ccount=\count113 -\calc@Cskip=\skip47 -) -\bfem=\skip48 -LaTeX Font Info: Try loading font information for T1+cmtt on input line 414. - (c:/texlive/2018/texmf-dist/tex/latex/base/t1cmtt.fd -File: t1cmtt.fd 2014/09/29 v2.5h Standard LaTeX font definitions -) -\xmrgn=\skip49 -) (c:/texlive/2018/texmf-dist/tex/latex/preprint/authblk.sty -Package: authblk 2001/02/27 1.3 (PWD) -\affilsep=\skip50 -\@affilsep=\skip51 -\c@Maxaffil=\count114 -\c@authors=\count115 -\c@affil=\count116 -)) (c:/texlive/2018/texmf-dist/tex/latex/amsmath/amsmath.sty -Package: amsmath 2017/09/02 v2.17a AMS math features -\@mathmargin=\skip52 - -For additional information on amsmath, use the `?' option. -(c:/texlive/2018/texmf-dist/tex/latex/amsmath/amstext.sty -Package: amstext 2000/06/29 v2.01 AMS text - (c:/texlive/2018/texmf-dist/tex/latex/amsmath/amsgen.sty -File: amsgen.sty 1999/11/30 v2.0 generic functions -\@emptytoks=\toks19 -\ex@=\dimen125 -)) (c:/texlive/2018/texmf-dist/tex/latex/amsmath/amsbsy.sty -Package: amsbsy 1999/11/29 v1.2d Bold Symbols -LaTeX Info: Redefining \boldsymbol on input line 28. -\pmbraise@=\dimen126 -) (c:/texlive/2018/texmf-dist/tex/latex/amsmath/amsopn.sty -Package: amsopn 2016/03/08 v2.02 operator names -) -\inf@bad=\count117 -LaTeX Info: Redefining \frac on input line 213. -\uproot@=\count118 -\leftroot@=\count119 -LaTeX Info: Redefining \overline on input line 375. -\classnum@=\count120 -\DOTSCASE@=\count121 -LaTeX Info: Redefining \ldots on input line 472. -LaTeX Info: Redefining \dots on input line 475. -LaTeX Info: Redefining \cdots on input line 596. -\Mathstrutbox@=\box36 -\strutbox@=\box37 -\big@size=\dimen127 -LaTeX Font Info: Redeclaring font encoding OML on input line 712. -LaTeX Font Info: Redeclaring font encoding OMS on input line 713. -\macc@depth=\count122 -\c@MaxMatrixCols=\count123 -\dotsspace@=\muskip11 -\c@parentequation=\count124 -\dspbrk@lvl=\count125 -\tag@help=\toks20 -\row@=\count126 -\column@=\count127 -\maxfields@=\count128 -\andhelp@=\toks21 -\eqnshift@=\dimen128 -\alignsep@=\dimen129 -\tagshift@=\dimen130 -\tagwidth@=\dimen131 -\totwidth@=\dimen132 -\lineht@=\dimen133 -\@envbody=\toks22 -\multlinegap=\skip53 -\multlinetaggap=\skip54 -\mathdisplay@stack=\toks23 -LaTeX Info: Redefining \[ on input line 2817. -LaTeX Info: Redefining \] on input line 2818. -) (c:/texlive/2018/texmf-dist/tex/latex/float/float.sty -Package: float 2001/11/08 v1.3d Float enhancements (AL) -\c@float@type=\count129 -\float@exts=\toks24 -\float@box=\box38 -\@float@everytoks=\toks25 -\@floatcapt=\box39 -) (c:/Users/HD/Downloads/DisjunctiveProgramming.jl/paper/paper.aux) -\openout1 = `paper.aux'. - -LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 6. -LaTeX Font Info: ... okay on input line 6. -LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 6. -LaTeX Font Info: ... okay on input line 6. -LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 6. -LaTeX Font Info: ... okay on input line 6. -LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 6. -LaTeX Font Info: ... okay on input line 6. -LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 6. -LaTeX Font Info: ... okay on input line 6. -LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 6. -LaTeX Font Info: ... okay on input line 6. -LaTeX Font Info: Checking defaults for PD1/pdf/m/n on input line 6. -LaTeX Font Info: ... okay on input line 6. -LaTeX Font Info: Checking defaults for TS1/cmr/m/n on input line 6. -LaTeX Font Info: Try loading font information for TS1+cmr on input line 6. - (c:/texlive/2018/texmf-dist/tex/latex/base/ts1cmr.fd -File: ts1cmr.fd 2014/09/29 v2.5h Standard LaTeX font definitions -) -LaTeX Font Info: ... okay on input line 6. -LaTeX Font Info: Try loading font information for T1+ptm on input line 6. - (c:/texlive/2018/texmf-dist/tex/latex/psnfss/t1ptm.fd -File: t1ptm.fd 2001/06/04 font definitions for T1/ptm. -) (c:/texlive/2018/texmf-dist/tex/context/base/mkii/supp-pdf.mkii -[Loading MPS to PDF converter (version 2006.09.02).] -\scratchcounter=\count130 -\scratchdimen=\dimen134 -\scratchbox=\box40 -\nofMPsegments=\count131 -\nofMParguments=\count132 -\everyMPshowfont=\toks26 -\MPscratchCnt=\count133 -\MPscratchDim=\dimen135 -\MPnumerator=\count134 -\makeMPintoPDFobject=\count135 -\everyMPtoPDFconversion=\toks27 -) (c:/texlive/2018/texmf-dist/tex/latex/oberdiek/epstopdf-base.sty -Package: epstopdf-base 2016/05/15 v2.6 Base part for package epstopdf - (c:/texlive/2018/texmf-dist/tex/latex/oberdiek/grfext.sty -Package: grfext 2016/05/16 v1.2 Manage graphics extensions (HO) -) -Package epstopdf-base Info: Redefining graphics rule for `.eps' on input line 438. -Package grfext Info: Graphics extension search list: -(grfext) [.pdf,.png,.jpg,.mps,.jpeg,.jbig2,.jb2,.PDF,.PNG,.JPG,.JPEG,.JBIG2,.JB2,.eps] -(grfext) \AppendGraphicsExtensions on input line 456. - (c:/texlive/2018/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg -File: epstopdf-sys.cfg 2010/07/13 v1.3 Configuration of (r)epstopdf for TeX Live -)) -\AtBeginShipoutBox=\box41 -Package hyperref Info: Link coloring OFF on input line 6. - (c:/texlive/2018/texmf-dist/tex/latex/hyperref/nameref.sty -Package: nameref 2016/05/21 v2.44 Cross-referencing by name of section - (c:/texlive/2018/texmf-dist/tex/generic/oberdiek/gettitlestring.sty -Package: gettitlestring 2016/05/16 v1.5 Cleanup title references (HO) -) -\c@section@level=\count136 -) -LaTeX Info: Redefining \ref on input line 6. -LaTeX Info: Redefining \pageref on input line 6. -LaTeX Info: Redefining \nameref on input line 6. - (c:/Users/HD/Downloads/DisjunctiveProgramming.jl/paper/paper.out) (c:/Users/HD/Downloads/DisjunctiveProgramming.jl/paper/paper.out) -\@outlinefile=\write3 -\openout3 = `paper.out'. - -\c@lstlisting=\count137 - -File: logojuliacon.pdf Graphic file (type pdf) - -Package pdftex.def Info: logojuliacon.pdf used on input line 15. -(pdftex.def) Requested size: 72.26999pt x 24.4797pt. -LaTeX Font Info: Try loading font information for U+lasy on input line 15. - (c:/texlive/2018/texmf-dist/tex/latex/base/ulasy.fd -File: ulasy.fd 1998/08/17 v2.2e LaTeX symbol font definitions -) -LaTeX Font Info: Try loading font information for U+msa on input line 15. - (c:/texlive/2018/texmf-dist/tex/latex/amsfonts/umsa.fd -File: umsa.fd 2013/01/14 v3.01 AMS symbols A -) -LaTeX Font Info: Try loading font information for U+msb on input line 15. - (c:/texlive/2018/texmf-dist/tex/latex/amsfonts/umsb.fd -File: umsb.fd 2013/01/14 v3.01 AMS symbols B -) -LaTeX Font Info: Font shape `T1/ptm/bx/n' in size <10> not available -(Font) Font shape `T1/ptm/b/n' tried instead on input line 17. -LaTeX Font Info: Font shape `U/lasy/b/n' in size <9> not available -(Font) Font shape `U/lasy/m/n' tried instead on input line 38. -LaTeX Font Info: Font shape `U/lasy/b/n' in size <6> not available -(Font) Font shape `U/lasy/m/n' tried instead on input line 38. -LaTeX Font Info: Font shape `U/lasy/b/n' in size <5> not available -(Font) Font shape `U/lasy/m/n' tried instead on input line 38. - -Underfull \hbox (badness 10000) has occurred while \output is active - - [] - -[1{c:/texlive/2018/texmf-var/fonts/map/pdftex/updmap/pdftex.map} -Non-PDF special ignored! - papersize=8.5in,11in - - - ] - -File: solnspace.png Graphic file (type png) - -Package pdftex.def Info: solnspace.png used on input line 85. -(pdftex.def) Requested size: 231.26343pt x 173.44757pt. -LaTeX Font Info: Font shape `U/lasy/b/n' in size <8> not available -(Font) Font shape `U/lasy/m/n' tried instead on input line 86. - -File: bigm.png Graphic file (type png) - -Package pdftex.def Info: bigm.png used on input line 103. -(pdftex.def) Requested size: 231.26343pt x 173.44757pt. - -File: chr.png Graphic file (type png) - -Package pdftex.def Info: chr.png used on input line 123. -(pdftex.def) Requested size: 231.26343pt x 173.44757pt. - -Overfull \vbox (2.39996pt too high) has occurred while \output is active [] - - -Underfull \hbox (badness 10000) has occurred while \output is active - \T1/ptm/m/n/9 2 - [] - -[2pdfTeX warning (ext4): destination with the same identifier (name{figure.1}) has been already used, duplicate ignored - -\AtBegShi@Output ...ipout \box \AtBeginShipoutBox - \fi \fi -l.132 \begin{align*} - pdfTeX warning (ext4): destination with the same identifier (name{figure.2}) has been already used, duplicate ignored - -\AtBegShi@Output ...ipout \box \AtBeginShipoutBox - \fi \fi -l.132 \begin{align*} - ] -LaTeX Font Info: Font shape `T1/ptm/bx/n' in size <9> not available -(Font) Font shape `T1/ptm/b/n' tried instead on input line 157. - - -LaTeX Warning: Reference `eq:simple_xor' on page 3 undefined on input line 157. - - -File: superstructure_pfd.png Graphic file (type png) - -Package pdftex.def Info: superstructure_pfd.png used on input line 173. -(pdftex.def) Requested size: 360.14827pt x 114.42838pt. - -Underfull \hbox (badness 10000) in paragraph at lines 179--180 -\T1/ptm/m/n/9 The fol-low-ing sec-tion de-scribes the fea-tures of the - [] - - -Underfull \hbox (badness 10000) in paragraph at lines 179--180 -[][]\T1/cmtt/m/n/9 DisjunctiveProgramming.jl []\T1/ptm/m/n/9 pack-age and il-lus-trates its - [] - - -Underfull \vbox (badness 6708) has occurred while \output is active [] - - -Overfull \vbox (2.39996pt too high) has occurred while \output is active [] - - -Underfull \hbox (badness 10000) has occurred while \output is active - \T1/ptm/m/n/9 3 - [] - -[3pdfTeX warning (ext4): destination with the same identifier (name{figure.3}) has been already used, duplicate ignored - -\AtBegShi@Output ...ipout \box \AtBeginShipoutBox - \fi \fi -l.180 - ] -LaTeX Font Info: Font shape `T1/cmtt/bx/n' in size <7> not available -(Font) Font shape `T1/cmtt/m/n' tried instead on input line 233. - -Overfull \vbox (2.39996pt too high) has occurred while \output is active [] - - -Underfull \hbox (badness 10000) has occurred while \output is active - \T1/ptm/m/n/9 4 - [] - -[4pdfTeX warning (ext4): destination with the same identifier (name{figure.4}) has been already used, duplicate ignored - -\AtBegShi@Output ...ipout \box \AtBeginShipoutBox - \fi \fi -l.254 \begin{lstlisting}[language = Julia] - ] -LaTeX Font Info: Font shape `U/lasy/b/n' in size <7> not available -(Font) Font shape `U/lasy/m/n' tried instead on input line 257. - -Underfull \hbox (badness 10000) in paragraph at lines 257--258 -[][][][][][][][][][][][][][][][][][][][][][] - [] - - -Underfull \hbox (badness 10000) in paragraph at lines 261--262 -[][][][][][][][][][][][][][][][][][][][][][] - [] - - -Underfull \hbox (badness 10000) in paragraph at lines 270--271 -[][][][][][][][][][][][][][][][][][][][][][] - [] - - -Underfull \hbox (badness 10000) in paragraph at lines 271--272 -[][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][] - [] - - -Underfull \hbox (badness 10000) in paragraph at lines 276--277 -[][][][][][][][][][][][][][][][][][][][][][] - [] - -(c:/Users/HD/Downloads/DisjunctiveProgramming.jl/paper/bib.tex (c:/Users/HD/Downloads/DisjunctiveProgramming.jl/paper/paper.bbl -Underfull \hbox (badness 10000) in paragraph at lines 4--9 -[]\T1/ptm/m/n/9 Anshul Agar-wal. A novel minlp re-for-mu-la-tion for - [] - - -Underfull \hbox (badness 10000) in paragraph at lines 4--9 -\T1/ptm/m/n/9 non-lin-ear gen-er-al-ized dis-junc-tive pro-gram-ming (gdp) - [] - - -Underfull \hbox (badness 10000) in paragraph at lines 4--9 -\T1/ptm/m/n/9 prob-lems. \T1/ptm/m/it/9 arXiv preprint arXiv:1510.01791\T1/ptm/m/n/9 , 2015. - [] - - -Underfull \hbox (badness 3758) in paragraph at lines 18--22 -[]\T1/ptm/m/n/9 Egon Balas. \T1/ptm/m/it/9 Dis-junc-tive pro-gram-ming\T1/ptm/m/n/9 . Springer, 2018. - [] - - -Underfull \hbox (badness 6842) in paragraph at lines 38--42 -[]\T1/ptm/m/n/9 Qi Chen and Ig-na-cio Gross-mann. Mod-ern mod-el-ing - [] - - -Underfull \hbox (badness 1168) in paragraph at lines 44--49 -\T1/ptm/m/n/9 Sun-jeev Kale, Johnny Bates, John D Si-irola, and Ig-na- - [] - - -Overfull \vbox (2.39996pt too high) has occurred while \output is active [] - - -Underfull \hbox (badness 10000) has occurred while \output is active - \T1/ptm/m/n/9 5 - [] - -[5] -Underfull \hbox (badness 5802) in paragraph at lines 73--77 -[]\T1/ptm/m/n/9 Ignacio E. Gross-mann. \T1/ptm/m/it/9 Logic-based outer ap-prox-i-ma- - [] - - -Underfull \hbox (badness 1590) in paragraph at lines 79--84 -[]\T1/ptm/m/n/9 Kevin C. Fur-man, Nico-las W. Sawaya, and Ig-na-cio E. - [] - - -Underfull \hbox (badness 6978) in paragraph at lines 86--91 -[]\T1/ptm/m/n/9 Shashi Gowda, Yingbo Ma, Alessan-dro Cheli, Maja - [] - - -Underfull \hbox (badness 2512) in paragraph at lines 86--91 -\T1/ptm/m/n/9 Gwó¹zd¹, Vi-ral B. Shah, Alan Edel-man, and Christo- - [] - - -Underfull \hbox (badness 7308) in paragraph at lines 86--91 -\T1/ptm/m/n/9 pher Rack-auckas. High-performance symbolic-numerics - [] - - -Underfull \hbox (badness 1168) in paragraph at lines 86--91 -\T1/ptm/m/n/9 via mul-ti-ple dis-patch. \T1/ptm/m/it/9 ACM Com-mun. Com-put. Al-ge-bra\T1/ptm/m/n/9 , - [] - - -Underfull \hbox (badness 10000) in paragraph at lines 137--142 -[]\T1/ptm/m/n/9 Fahad Ma-tovu, Shuhaimi Ma-hadzir, Rasel Ahmed, - [] - - -Underfull \hbox (badness 10000) in paragraph at lines 137--142 -\T1/ptm/m/n/9 and Nor Erniza Mo-ham-mad Rozali. Syn-the-sis and - [] - - -Underfull \hbox (badness 10000) in paragraph at lines 137--142 -\T1/ptm/m/n/9 op-ti-miza-tion of mul-ti-level re-frig-er-a-tion sys-tems us- - [] - - -Underfull \hbox (badness 10000) in paragraph at lines 137--142 -\T1/ptm/m/n/9 ing gen-er-al-ized dis-junc-tive pro-gram-ming. \T1/ptm/m/it/9 Com-put- - [] - - -Underfull \hbox (badness 10000) in paragraph at lines 137--142 -\T1/ptm/m/it/9 ers & Chem-i-cal En-gi-neer-ing\T1/ptm/m/n/9 , 163:107856, 2022. - [] - - -Underfull \hbox (badness 3148) in paragraph at lines 144--149 -[]\T1/ptm/m/n/9 Miguel A. Navarro-Amorós, Rubén Ruiz-Femenia, and - [] - - -Underfull \hbox (badness 1496) in paragraph at lines 144--149 -\T1/ptm/m/n/9 José A. Ca-ballero. In-te-gra-tion of mod-u-lar pro-cess sim- - [] - - -Underfull \hbox (badness 4229) in paragraph at lines 144--149 -\T1/ptm/m/n/9 u-la-tors un-der the gen-er-al-ized dis-junc-tive pro-gram-ming - [] - - -Underfull \hbox (badness 10000) in paragraph at lines 144--149 -\T1/ptm/m/n/9 frame-work for the struc-tural flow-sheet op-ti-miza-tion. - [] - - -Underfull \hbox (badness 5050) in paragraph at lines 144--149 -\T1/ptm/m/it/9 Com-put-ers & Chem-i-cal En-gi-neer-ing\T1/ptm/m/n/9 , 67:13--25, 2014. - [] - - -Underfull \hbox (badness 10000) in paragraph at lines 151--155 -[]\T1/ptm/m/n/9 George L. Nemhauser. \T1/ptm/m/it/9 In-te-ger and com-bi-na-to- - [] - - -Underfull \hbox (badness 10000) in paragraph at lines 151--155 -\T1/ptm/m/it/9 rial op-ti-miza-tion\T1/ptm/m/n/9 . John Wi-ley and Sons, 1999. - [] - - -Underfull \hbox (badness 2205) in paragraph at lines 157--161 -[]\T1/ptm/m/n/9 Francisco Tres-pala-cios and Ig-na-cio E. Gross-mann. Im- - [] - - -Underfull \hbox (badness 1454) in paragraph at lines 157--161 -\T1/ptm/m/n/9 grams. \T1/ptm/m/it/9 Com-put-ers & Chem-i-cal En-gi-neer-ing\T1/ptm/m/n/9 , 76:98--103, - [] - - -Underfull \hbox (badness 1237) in paragraph at lines 163--167 -\T1/ptm/m/it/9 IN-FORMS Jour-nal on Com-put-ing\T1/ptm/m/n/9 , 28(2):209^^U222, 2016. - [] - -)) -Package atveryend Info: Empty hook `BeforeClearDocument' on input line 306. - -Overfull \vbox (2.39996pt too high) has occurred while \output is active [] - - -Underfull \hbox (badness 10000) has occurred while \output is active - \T1/ptm/m/n/9 6 - [] - -[6] -Package atveryend Info: Empty hook `AfterLastShipout' on input line 306. - (c:/Users/HD/Downloads/DisjunctiveProgramming.jl/paper/paper.aux) -Package atveryend Info: Executing hook `AtVeryEndDocument' on input line 306. -Package atveryend Info: Executing hook `AtEndAfterFileList' on input line 306. -Package rerunfilecheck Info: File `paper.out' has not changed. -(rerunfilecheck) Checksum: 1F68AA287EAF7868C2396C35550B552D;1369. - - -LaTeX Warning: There were undefined references. - -Package atveryend Info: Empty hook `AtVeryVeryEnd' on input line 306. - ) -Here is how much of TeX's memory you used: - 10175 strings out of 492646 - 139207 string characters out of 6133325 - 336350 words of memory out of 5000000 - 13776 multiletter control sequences out of 15000+600000 - 51839 words of font info for 112 fonts, out of 8000000 for 9000 - 1141 hyphenation exceptions out of 8191 - 40i,20n,44p,1237b,1894s stack positions out of 5000i,500n,10000p,200000b,80000s -{c:/texlive/2018/texmf-dist/fonts/enc/dvips/cm-super/cm-super-t1.enc}{c:/texlive/2018/texmf-dist/fonts/enc/dvips/base/8r.enc} -Output written on c:/Users/HD/Downloads/DisjunctiveProgramming.jl/paper/paper.pdf (6 pages, 348356 bytes). -PDF statistics: - 377 PDF objects out of 1000 (max. 8388607) - 340 compressed objects within 4 object streams - 115 named destinations out of 1000 (max. 500000) - 186 words of extra memory for PDF output out of 10000 (max. 10000000) - diff --git a/paper/paper.out b/paper/paper.out deleted file mode 100644 index 757f239..0000000 --- a/paper/paper.out +++ /dev/null @@ -1,20 +0,0 @@ -\BOOKMARK [1][-]{section.1}{Introduction}{}% 1 -\BOOKMARK [1][-]{section.2}{Generalized Disjunctive Programming}{}% 2 -\BOOKMARK [2][-]{subsection.2.1}{Model}{section.2}% 3 -\BOOKMARK [2][-]{subsection.2.2}{Solution Technique: Reformulation to Mixed-Integer Program}{section.2}% 4 -\BOOKMARK [3][-]{subsubsection.2.2.1}{Big-M Reformulation}{subsection.2.2}% 5 -\BOOKMARK [3][-]{subsubsection.2.2.2}{Hull Reformulation}{subsection.2.2}% 6 -\BOOKMARK [2][-]{subsection.2.3}{Logic constraint reformulation}{section.2}% 7 -\BOOKMARK [3][-]{subsubsection.2.3.1}{Propositional Logic}{subsection.2.3}% 8 -\BOOKMARK [3][-]{subsubsection.2.3.2}{Constraint Programming}{subsection.2.3}% 9 -\BOOKMARK [2][-]{subsection.2.4}{Other Solution Techniques}{section.2}% 10 -\BOOKMARK [3][-]{subsubsection.2.4.1}{Disjunctive branch and bound}{subsection.2.4}% 11 -\BOOKMARK [3][-]{subsubsection.2.4.2}{Logic-based outer approximation}{subsection.2.4}% 12 -\BOOKMARK [3][-]{subsubsection.2.4.3}{Hybrid cutting planes}{subsection.2.4}% 13 -\BOOKMARK [1][-]{section.3}{DisjunctiveProgramming.jl}{}% 14 -\BOOKMARK [2][-]{subsection.3.1}{Features}{section.3}% 15 -\BOOKMARK [2][-]{subsection.3.2}{Example}{section.3}% 16 -\BOOKMARK [1][-]{section.4}{Future Work}{}% 17 -\BOOKMARK [1][-]{section.5}{Related Work}{}% 18 -\BOOKMARK [1][-]{section.6}{Conclusion}{}% 19 -\BOOKMARK [1][-]{section.7}{References}{}% 20