\lstset{language=Lisp,tabsize=2,frame=single,basicstyle=\tiny,lineskip=3pt}
\section{wvu-lib}\label{src-wvu-lib}
\lstinputlisting[title=wvu-lib/guess/guess-db.lisp,firstline=17]{code/wvu-lib/guess/guess-db.lisp}
\lstinputlisting[title=wvu-lib/guess/guess.lisp,firstline=17]{code/wvu-lib/guess/guess.lisp}
\lstinputlisting[title=wvu-lib/tricks/f-value.lisp,firstline=17]{code/wvu-lib/tricks/f-value.lisp}
\lstinputlisting[title=wvu-lib/tricks/lib.lisp,firstline=17]{code/wvu-lib/tricks/lib.lisp}
\lstinputlisting[title=wvu-lib/tricks/lookup-table.lisp,firstline=17]{code/wvu-lib/tricks/lookup-table.lisp}
\lstinputlisting[title=wvu-lib/tricks/nemenyi-critical-value.lisp,firstline=17]{code/wvu-lib/tricks/nemenyi-critical-value.lisp}
\lstinputlisting[title=wvu-lib/tricks/profile.lisp,firstline=17]{code/wvu-lib/tricks/profile.lisp}
\lstinputlisting[title=wvu-lib/tricks/registry.lisp,firstline=17]{code/wvu-lib/tricks/registry.lisp}
\lstinputlisting[title=wvu-lib/tricks/sockets.lisp,firstline=17]{code/wvu-lib/tricks/sockets.lisp}
\newpage
\section{nova}\label{src-nova}
\lstinputlisting[title=nova/apps/apps-lib.lisp,firstline=17]{code/nova/apps/apps-lib.lisp}
\lstinputlisting[title=nova/apps/case-studies.lisp,firstline=17]{code/nova/apps/case-studies.lisp}
\lstinputlisting[title=nova/apps/evaluation-methods.lisp,firstline=17]{code/nova/apps/evaluation-methods.lisp}
\lstinputlisting[title=nova/apps/policies.lisp,firstline=17]{code/nova/apps/policies.lisp}
\lstinputlisting[title=nova/apps/results-cache.lisp,firstline=17]{code/nova/apps/results-cache.lisp}
\lstinputlisting[title=nova/apps/results.lisp,firstline=17]{code/nova/apps/results.lisp}
\lstinputlisting[title=nova/apps/scoring-methods.lisp,firstline=17]{code/nova/apps/scoring-methods.lisp}
\lstinputlisting[title=nova/apps/search-engines.lisp,firstline=17]{code/nova/apps/search-engines.lisp}
\lstinputlisting[title=nova/apps/xml-results.lisp,firstline=17]{code/nova/apps/xml-results.lisp}
\lstinputlisting[title=nova/apps/interfaces/simulation-interface.lisp,firstline=17]{code/nova/apps/interfaces/simulation-interface.lisp}
\lstinputlisting[title=nova/apps/interfaces/csv/simulation-csv-interface.lisp,firstline=17]{code/nova/apps/interfaces/csv/simulation-csv-interface.lisp}
\lstinputlisting[title=nova/apps/learning/learning.lisp,firstline=17]{code/nova/apps/learning/learning.lisp}
\lstinputlisting[title=nova/apps/simulation/simulation.lisp,firstline=17]{code/nova/apps/simulation/simulation.lisp}
\lstinputlisting[title=nova/experiments/constraints-consistency.lisp,firstline=17]{code/nova/experiments/constraints-consistency.lisp}
\lstinputlisting[title=nova/experiments/demsar-compare.lisp,firstline=17]{code/nova/experiments/demsar-compare.lisp}
\lstinputlisting[title=nova/experiments/experiment-commands.lisp,firstline=17]{code/nova/experiments/experiment-commands.lisp}
\lstinputlisting[title=nova/experiments/experiment-data-lib.lisp,firstline=17]{code/nova/experiments/experiment-data-lib.lisp}
\lstinputlisting[title=nova/experiments/experiment-lib.lisp,firstline=17]{code/nova/experiments/experiment-lib.lisp}
\lstinputlisting[title=nova/experiments/mann-whitney-compare.lisp,firstline=17]{code/nova/experiments/mann-whitney-compare.lisp}
\lstinputlisting[title=nova/experiments/reports-lib.lisp,firstline=17]{code/nova/experiments/reports-lib.lisp}
\lstinputlisting[title=nova/impl/case-studies/default.lisp,firstline=17]{code/nova/impl/case-studies/default.lisp}
\lstinputlisting[title=nova/impl/search-engines/a-star.lisp,firstline=17]{code/nova/impl/search-engines/a-star.lisp}
\lstinputlisting[title=nova/impl/search-engines/beam.lisp,firstline=17]{code/nova/impl/search-engines/beam.lisp}
\lstinputlisting[title=nova/impl/search-engines/isamp.lisp,firstline=17]{code/nova/impl/search-engines/isamp.lisp}
\lstinputlisting[title=nova/impl/search-engines/keys.lisp,firstline=17]{code/nova/impl/search-engines/keys.lisp}
\lstinputlisting[title=nova/impl/search-engines/maxwalksat.lisp,firstline=17]{code/nova/impl/search-engines/maxwalksat.lisp}
\lstinputlisting[title=nova/impl/search-engines/sa.lisp,firstline=17]{code/nova/impl/search-engines/sa.lisp}
\lstinputlisting[title=nova/impl/search-engines/seesaw.lisp,firstline=17]{code/nova/impl/search-engines/seesaw.lisp}
\lstinputlisting[title=nova/reports/decisions-plots.lisp,firstline=17]{code/nova/reports/decisions-plots.lisp}
\lstinputlisting[title=nova/reports/gnuplot-lib.lisp,firstline=17]{code/nova/reports/gnuplot-lib.lisp}
\lstinputlisting[title=nova/reports/reports.lisp,firstline=17]{code/nova/reports/reports.lisp}
\lstinputlisting[title=nova/search/decision.lisp,firstline=17]{code/nova/search/decision.lisp}
\lstinputlisting[title=nova/search/path.lisp,firstline=17]{code/nova/search/path.lisp}
\lstinputlisting[title=nova/search/search-lib.lisp,firstline=17]{code/nova/search/search-lib.lisp}
\lstinputlisting[title=nova/search/state-scoring.lisp,firstline=17]{code/nova/search/state-scoring.lisp}
\lstinputlisting[title=nova/search/state.lisp,firstline=17]{code/nova/search/state.lisp}
\lstinputlisting[title=nova/search/treatments.lisp,firstline=17]{code/nova/search/treatments.lisp}
\lstinputlisting[title=nova/search/skeleton/keys-skeleton.lisp,firstline=17]{code/nova/search/skeleton/keys-skeleton.lisp}
\lstinputlisting[title=nova/search/skeleton/maxwalksat-skeleton.lisp,firstline=17]{code/nova/search/skeleton/maxwalksat-skeleton.lisp}
\lstinputlisting[title=nova/search/skeleton/sa-skeleton.lisp,firstline=17]{code/nova/search/skeleton/sa-skeleton.lisp}
\lstinputlisting[title=nova/search/skeleton/seesaw-skeleton.lisp,firstline=17]{code/nova/search/skeleton/seesaw-skeleton.lisp}
\lstinputlisting[title=nova/settings/settings.lisp,firstline=17]{code/nova/settings/settings.lisp}
\lstinputlisting[title=nova/ui/compare.lisp,firstline=17]{code/nova/ui/compare.lisp}
\lstinputlisting[title=nova/ui/interface.lisp,firstline=17]{code/nova/ui/interface.lisp}
\newpage
\section{nova-web}\label{src-nova-web}
\lstinputlisting[title=nova-web/xml/tcp-server.lisp,firstline=17]{code/nova-web/xml/tcp-server.lisp}
\lstinputlisting[title=nova-web/xml/xml.lisp,firstline=17]{code/nova-web/xml/xml.lisp}
\newpage
\section{mymodel}\label{src-mymodel}
\lstinputlisting[title=mymodel/case-studies/my-case-studies.lisp,firstline=17]{code/mymodel/case-studies/my-case-studies.lisp}
\lstinputlisting[title=mymodel/evaluation-methods/energy.lisp,firstline=17]{code/mymodel/evaluation-methods/energy.lisp}
\lstinputlisting[title=mymodel/evaluation-methods/scoring.lisp,firstline=17]{code/mymodel/evaluation-methods/scoring.lisp}
\lstinputlisting[title=mymodel/experiments/experiments.lisp,firstline=17]{code/mymodel/experiments/experiments.lisp}
\lstinputlisting[title=mymodel/experiments/scenarios.lisp,firstline=17]{code/mymodel/experiments/scenarios.lisp}
\lstinputlisting[title=mymodel/experiments/treatments.lisp,firstline=17]{code/mymodel/experiments/treatments.lisp}
\lstinputlisting[title=mymodel/model/mymodel-defaults.lisp,firstline=17]{code/mymodel/model/mymodel-defaults.lisp}
\lstinputlisting[title=mymodel/policies/all.lisp,firstline=17]{code/mymodel/policies/all.lisp}
\lstinputlisting[title=mymodel/scoring-methods/cost.lisp,firstline=17]{code/mymodel/scoring-methods/cost.lisp}
\lstinputlisting[title=mymodel/scoring-methods/duration.lisp,firstline=17]{code/mymodel/scoring-methods/duration.lisp}
\newpage
\section{xomo}\label{src-xomo}
\lstinputlisting[title=xomo/case-studies/boehm-now-10-20-case-studies.lisp,firstline=17]{code/xomo/case-studies/boehm-now-10-20-case-studies.lisp}
\lstinputlisting[title=xomo/case-studies/jpl-case-studies.lisp,firstline=17]{code/xomo/case-studies/jpl-case-studies.lisp}
\lstinputlisting[title=xomo/case-studies/new-jpl-case-studies.lisp,firstline=17]{code/xomo/case-studies/new-jpl-case-studies.lisp}
\lstinputlisting[title=xomo/case-studies/verification.lisp,firstline=17]{code/xomo/case-studies/verification.lisp}
\lstinputlisting[title=xomo/evaluation-methods/energy.lisp,firstline=17]{code/xomo/evaluation-methods/energy.lisp}
\lstinputlisting[title=xomo/evaluation-methods/risk-exposure.lisp,firstline=17]{code/xomo/evaluation-methods/risk-exposure.lisp}
\lstinputlisting[title=xomo/evaluation-methods/scoring.lisp,firstline=17]{code/xomo/evaluation-methods/scoring.lisp}
\lstinputlisting[title=xomo/experiments/energy-vs-risk-exposure-decisions.lisp,firstline=17]{code/xomo/experiments/energy-vs-risk-exposure-decisions.lisp}
\lstinputlisting[title=xomo/experiments/energy-vs-risk-exposure-results-compare.lisp,firstline=17]{code/xomo/experiments/energy-vs-risk-exposure-results-compare.lisp}
\lstinputlisting[title=xomo/experiments/experiments.lisp,firstline=17]{code/xomo/experiments/experiments.lisp}
\lstinputlisting[title=xomo/experiments/lc-comparo.lisp,firstline=17]{code/xomo/experiments/lc-comparo.lisp}
\lstinputlisting[title=xomo/experiments/scenarios.lisp,firstline=17]{code/xomo/experiments/scenarios.lisp}
\lstinputlisting[title=xomo/experiments/simulation-xomo.lisp,firstline=17]{code/xomo/experiments/simulation-xomo.lisp}
\lstinputlisting[title=xomo/experiments/treatments.lisp,firstline=17]{code/xomo/experiments/treatments.lisp}
\lstinputlisting[title=xomo/model/coc-lib.lisp,firstline=17]{code/xomo/model/coc-lib.lisp}
\lstinputlisting[title=xomo/model/defects-model.lisp,firstline=17]{code/xomo/model/defects-model.lisp}
\lstinputlisting[title=xomo/model/effort-model.lisp,firstline=17]{code/xomo/model/effort-model.lisp}
\lstinputlisting[title=xomo/model/model-defaults.lisp,firstline=17]{code/xomo/model/model-defaults.lisp}
\lstinputlisting[title=xomo/model/months-model.lisp,firstline=17]{code/xomo/model/months-model.lisp}
\lstinputlisting[title=xomo/model/threat-model.lisp,firstline=17]{code/xomo/model/threat-model.lisp}
\lstinputlisting[title=xomo/policies/all.lisp,firstline=17]{code/xomo/policies/all.lisp}
\lstinputlisting[title=xomo/policies/jpl-policies.lisp,firstline=17]{code/xomo/policies/jpl-policies.lisp}
\newpage
