├── .clang-format ├── .codedocs ├── .doxyfile ├── .github └── workflows │ ├── functional_tests.yml │ └── windows.yml ├── .gitignore ├── CITATION.cff ├── CREDITS ├── LICENSE ├── README.md ├── apps ├── CELAR │ ├── CMakeLists.txt │ ├── README.md │ ├── SCEN06 │ │ ├── cst.txt │ │ ├── ctr.txt │ │ ├── dom.txt │ │ └── var.txt │ ├── SCEN07 │ │ ├── cst.txt │ │ ├── ctr.txt │ │ ├── dom.txt │ │ └── var.txt │ ├── SCEN08 │ │ ├── cst.txt │ │ ├── ctr.txt │ │ ├── dom.txt │ │ └── var.txt │ ├── SCEN09 │ │ ├── cst.txt │ │ ├── ctr.txt │ │ ├── dom.txt │ │ └── var.txt │ ├── SCEN10 │ │ ├── cst.txt │ │ ├── ctr.txt │ │ ├── dom.txt │ │ └── var.txt │ ├── celar.blurb │ ├── celar.cpp │ ├── heuristics.cpp │ ├── heuristics.h │ └── verification.sh ├── CMakeLists.txt ├── Hadoop │ ├── CMakeLists.txt │ ├── README.md │ ├── install │ │ ├── README.md │ │ ├── hadoop.patch │ │ ├── install-jdk.sh │ │ ├── install.sh │ │ └── update.sh │ ├── nqueens.cpp │ ├── numpart.cpp │ ├── progress.awk │ ├── progress.plt │ └── rounds.sh ├── ITC │ ├── CMakeLists.txt │ ├── README.md │ ├── datasets │ │ ├── benchmark_my_linux_machine │ │ ├── benchmarkinput.ttp │ │ ├── comp01.ctt │ │ ├── comp02.ctt │ │ ├── comp03.ctt │ │ ├── comp04.ctt │ │ ├── comp05.ctt │ │ ├── comp06.ctt │ │ ├── comp07.ctt │ │ ├── comp08.ctt │ │ ├── comp09.ctt │ │ ├── comp10.ctt │ │ ├── comp11.ctt │ │ ├── comp12.ctt │ │ ├── comp13.ctt │ │ └── comp14.ctt │ ├── error.h │ ├── heuristics.cpp │ ├── heuristics.h │ ├── io.cpp │ ├── localSearch.cpp │ ├── localSearch.h │ ├── optionsFile │ ├── timetabling.cpp │ ├── timetabling.h │ └── verification │ │ ├── test.sh │ │ └── validator.cc ├── README.md ├── XCSP3 │ ├── CMakeLists.txt │ ├── README.md │ ├── naxos-xcsp3.cpp │ ├── translator.cpp │ ├── translator.h │ └── verification │ │ ├── AllDifferent.sol │ │ ├── AllDifferent.xml │ │ ├── Arrays.sol │ │ ├── Arrays.xml │ │ ├── COP_MaxCoeffs_Maximization.sol │ │ ├── COP_MaxCoeffs_Maximization.xml │ │ ├── COP_MaxCoeffs_Minimization.sol │ │ ├── COP_MaxCoeffs_Minimization.xml │ │ ├── COP_Max_Maximization.sol │ │ ├── COP_Max_Maximization.xml │ │ ├── COP_Max_Minimization.sol │ │ ├── COP_Max_Minimization.xml │ │ ├── COP_Maximization.sol │ │ ├── COP_Maximization.xml │ │ ├── COP_MinCoeffs_Maximization.sol │ │ ├── COP_MinCoeffs_Maximization.xml │ │ ├── COP_MinCoeffs_Minimization.sol │ │ ├── COP_MinCoeffs_Minimization.xml │ │ ├── COP_Min_Maximization.sol │ │ ├── COP_Min_Maximization.xml │ │ ├── COP_Min_Minimization.sol │ │ ├── COP_Min_Minimization.xml │ │ ├── COP_Minimization.sol │ │ ├── COP_Minimization.xml │ │ ├── COP_SumCoeffs_Maximization.sol │ │ ├── COP_SumCoeffs_Maximization.xml │ │ ├── COP_SumCoeffs_Minimization.sol │ │ ├── COP_SumCoeffs_Minimization.xml │ │ ├── COP_Sum_Maximization.sol │ │ ├── COP_Sum_Maximization.xml │ │ ├── COP_Sum_Minimization.sol │ │ ├── COP_Sum_Minimization.xml │ │ ├── CheckerFastInstances.txt │ │ ├── CheckerSlowInstances.txt │ │ ├── CheckerUnsupportedInstances.txt │ │ ├── Element.sol │ │ ├── Element.xml │ │ ├── Extension.sol │ │ ├── Extension.xml │ │ ├── IntensionConstOpVarCompVar.sol │ │ ├── IntensionConstOpVarCompVar.xml │ │ ├── IntensionVarCompConst.sol │ │ ├── IntensionVarCompConst.xml │ │ ├── IntensionVarCompConstOpVar.sol │ │ ├── IntensionVarCompConstOpVar.xml │ │ ├── IntensionVarCompVar.sol │ │ ├── IntensionVarCompVar.xml │ │ ├── IntensionVarCompVarOpConst.sol │ │ ├── IntensionVarCompVarOpConst.xml │ │ ├── IntensionVarCompVarOpVar.sol │ │ ├── IntensionVarCompVarOpVar.xml │ │ ├── IntensionVarOpConstCompVar.sol │ │ ├── IntensionVarOpConstCompVar.xml │ │ ├── IntensionVarOpVarCompVar.sol │ │ ├── IntensionVarOpVarCompVar.xml │ │ ├── OneVariable.sol │ │ ├── OneVariable.xml │ │ ├── Queens-0004-m1.sol │ │ ├── Queens-0004-m1.xml │ │ ├── Sum.sol │ │ ├── Sum.xml │ │ ├── SumCoeffs.sol │ │ ├── SumCoeffs.xml │ │ ├── SumCoeffsVars.sol │ │ ├── SumCoeffsVars.xml │ │ ├── ThreeVariables.sol │ │ ├── ThreeVariables.xml │ │ ├── common_functions.sh │ │ ├── test.sh │ │ └── without_solutions │ │ ├── AllConstraints.xml │ │ └── AllConstraintsFormatted.xml ├── for_amorgos │ ├── CMakeLists.txt │ ├── EinsteinRiddle.cpp │ ├── README.md │ ├── cryptmult.cpp │ ├── golfer.cpp │ ├── graphcolor.cpp │ ├── knump.cpp │ ├── magic.cpp │ ├── mapcolor.cpp │ ├── nqueens.cpp │ ├── placement.cpp │ ├── sudoku.cpp │ └── vertexcover.cpp ├── nqueens.cpp ├── send_more_money.cpp └── verification │ ├── nqueens_12_sorted_solutions.txt │ ├── nqueens_4_sorted_solutions.txt │ ├── nqueens_8_sorted_solutions.txt │ ├── send_more_money_solution.txt │ └── test.sh ├── core ├── CMakeLists.txt ├── array_constraints.cpp ├── bitset_domain.cpp ├── expressions.cpp ├── internal.h ├── intvar.cpp ├── naxos-mini.h ├── naxos.h ├── non_mini_solver_constraints.cpp ├── non_mini_solver_expressions.cpp ├── problemmanager.cpp ├── stack.h └── var_constraints.cpp ├── manual ├── Arrays.md ├── Errors.md ├── Examples.md ├── Expressions.md ├── Goals.md ├── Introduction.md ├── ProblemManager.md ├── README.md ├── Variables.md └── figures │ ├── AC.svg │ ├── AC.tex │ ├── NsgLabeling.svg │ ├── NsgLabeling.tex │ └── logo.svg └── plugins ├── CMakeLists.txt ├── README.md ├── amorgos.h ├── boundedbt.cpp ├── boundedbt.h ├── credit.cpp ├── credit.h ├── dbds.cpp ├── dbds.h ├── dbs.cpp ├── dbs.h ├── dfs.cpp ├── dfs.h ├── domain_splitting.cpp ├── domain_splitting.h ├── fns.cpp ├── fns.h ├── gns.cpp ├── gns.h ├── heuristics.cpp ├── heuristics.h ├── ibroad.cpp ├── ibroad.h ├── isamp.cpp ├── isamp.h ├── lan.cpp ├── lan.h ├── lds.cpp ├── lds.h ├── onesamp.cpp ├── onesamp.h ├── pops.cpp ├── pops.h ├── rdfs.cpp └── rdfs.h /.clang-format: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/.clang-format -------------------------------------------------------------------------------- /.codedocs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/.codedocs -------------------------------------------------------------------------------- /.doxyfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/.doxyfile -------------------------------------------------------------------------------- /.github/workflows/functional_tests.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/.github/workflows/functional_tests.yml -------------------------------------------------------------------------------- /.github/workflows/windows.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/.github/workflows/windows.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/.gitignore -------------------------------------------------------------------------------- /CITATION.cff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/CITATION.cff -------------------------------------------------------------------------------- /CREDITS: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/CREDITS -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/README.md -------------------------------------------------------------------------------- /apps/CELAR/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/CELAR/CMakeLists.txt -------------------------------------------------------------------------------- /apps/CELAR/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/CELAR/README.md -------------------------------------------------------------------------------- /apps/CELAR/SCEN06/cst.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/CELAR/SCEN06/cst.txt -------------------------------------------------------------------------------- /apps/CELAR/SCEN06/ctr.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/CELAR/SCEN06/ctr.txt -------------------------------------------------------------------------------- /apps/CELAR/SCEN06/dom.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/CELAR/SCEN06/dom.txt -------------------------------------------------------------------------------- /apps/CELAR/SCEN06/var.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/CELAR/SCEN06/var.txt -------------------------------------------------------------------------------- /apps/CELAR/SCEN07/cst.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/CELAR/SCEN07/cst.txt -------------------------------------------------------------------------------- /apps/CELAR/SCEN07/ctr.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/CELAR/SCEN07/ctr.txt -------------------------------------------------------------------------------- /apps/CELAR/SCEN07/dom.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/CELAR/SCEN07/dom.txt -------------------------------------------------------------------------------- /apps/CELAR/SCEN07/var.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/CELAR/SCEN07/var.txt -------------------------------------------------------------------------------- /apps/CELAR/SCEN08/cst.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/CELAR/SCEN08/cst.txt -------------------------------------------------------------------------------- /apps/CELAR/SCEN08/ctr.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/CELAR/SCEN08/ctr.txt -------------------------------------------------------------------------------- /apps/CELAR/SCEN08/dom.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/CELAR/SCEN08/dom.txt -------------------------------------------------------------------------------- /apps/CELAR/SCEN08/var.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/CELAR/SCEN08/var.txt -------------------------------------------------------------------------------- /apps/CELAR/SCEN09/cst.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/CELAR/SCEN09/cst.txt -------------------------------------------------------------------------------- /apps/CELAR/SCEN09/ctr.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/CELAR/SCEN09/ctr.txt -------------------------------------------------------------------------------- /apps/CELAR/SCEN09/dom.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/CELAR/SCEN09/dom.txt -------------------------------------------------------------------------------- /apps/CELAR/SCEN09/var.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/CELAR/SCEN09/var.txt -------------------------------------------------------------------------------- /apps/CELAR/SCEN10/cst.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/CELAR/SCEN10/cst.txt -------------------------------------------------------------------------------- /apps/CELAR/SCEN10/ctr.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/CELAR/SCEN10/ctr.txt -------------------------------------------------------------------------------- /apps/CELAR/SCEN10/dom.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/CELAR/SCEN10/dom.txt -------------------------------------------------------------------------------- /apps/CELAR/SCEN10/var.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/CELAR/SCEN10/var.txt -------------------------------------------------------------------------------- /apps/CELAR/celar.blurb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/CELAR/celar.blurb -------------------------------------------------------------------------------- /apps/CELAR/celar.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/CELAR/celar.cpp -------------------------------------------------------------------------------- /apps/CELAR/heuristics.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/CELAR/heuristics.cpp -------------------------------------------------------------------------------- /apps/CELAR/heuristics.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/CELAR/heuristics.h -------------------------------------------------------------------------------- /apps/CELAR/verification.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/CELAR/verification.sh -------------------------------------------------------------------------------- /apps/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/CMakeLists.txt -------------------------------------------------------------------------------- /apps/Hadoop/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/Hadoop/CMakeLists.txt -------------------------------------------------------------------------------- /apps/Hadoop/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/Hadoop/README.md -------------------------------------------------------------------------------- /apps/Hadoop/install/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/Hadoop/install/README.md -------------------------------------------------------------------------------- /apps/Hadoop/install/hadoop.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/Hadoop/install/hadoop.patch -------------------------------------------------------------------------------- /apps/Hadoop/install/install-jdk.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/Hadoop/install/install-jdk.sh -------------------------------------------------------------------------------- /apps/Hadoop/install/install.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/Hadoop/install/install.sh -------------------------------------------------------------------------------- /apps/Hadoop/install/update.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/Hadoop/install/update.sh -------------------------------------------------------------------------------- /apps/Hadoop/nqueens.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/Hadoop/nqueens.cpp -------------------------------------------------------------------------------- /apps/Hadoop/numpart.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/Hadoop/numpart.cpp -------------------------------------------------------------------------------- /apps/Hadoop/progress.awk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/Hadoop/progress.awk -------------------------------------------------------------------------------- /apps/Hadoop/progress.plt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/Hadoop/progress.plt -------------------------------------------------------------------------------- /apps/Hadoop/rounds.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/Hadoop/rounds.sh -------------------------------------------------------------------------------- /apps/ITC/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/ITC/CMakeLists.txt -------------------------------------------------------------------------------- /apps/ITC/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/ITC/README.md -------------------------------------------------------------------------------- /apps/ITC/datasets/benchmark_my_linux_machine: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/ITC/datasets/benchmark_my_linux_machine -------------------------------------------------------------------------------- /apps/ITC/datasets/benchmarkinput.ttp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/ITC/datasets/benchmarkinput.ttp -------------------------------------------------------------------------------- /apps/ITC/datasets/comp01.ctt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/ITC/datasets/comp01.ctt -------------------------------------------------------------------------------- /apps/ITC/datasets/comp02.ctt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/ITC/datasets/comp02.ctt -------------------------------------------------------------------------------- /apps/ITC/datasets/comp03.ctt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/ITC/datasets/comp03.ctt -------------------------------------------------------------------------------- /apps/ITC/datasets/comp04.ctt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/ITC/datasets/comp04.ctt -------------------------------------------------------------------------------- /apps/ITC/datasets/comp05.ctt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/ITC/datasets/comp05.ctt -------------------------------------------------------------------------------- /apps/ITC/datasets/comp06.ctt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/ITC/datasets/comp06.ctt -------------------------------------------------------------------------------- /apps/ITC/datasets/comp07.ctt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/ITC/datasets/comp07.ctt -------------------------------------------------------------------------------- /apps/ITC/datasets/comp08.ctt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/ITC/datasets/comp08.ctt -------------------------------------------------------------------------------- /apps/ITC/datasets/comp09.ctt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/ITC/datasets/comp09.ctt -------------------------------------------------------------------------------- /apps/ITC/datasets/comp10.ctt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/ITC/datasets/comp10.ctt -------------------------------------------------------------------------------- /apps/ITC/datasets/comp11.ctt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/ITC/datasets/comp11.ctt -------------------------------------------------------------------------------- /apps/ITC/datasets/comp12.ctt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/ITC/datasets/comp12.ctt -------------------------------------------------------------------------------- /apps/ITC/datasets/comp13.ctt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/ITC/datasets/comp13.ctt -------------------------------------------------------------------------------- /apps/ITC/datasets/comp14.ctt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/ITC/datasets/comp14.ctt -------------------------------------------------------------------------------- /apps/ITC/error.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/ITC/error.h -------------------------------------------------------------------------------- /apps/ITC/heuristics.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/ITC/heuristics.cpp -------------------------------------------------------------------------------- /apps/ITC/heuristics.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/ITC/heuristics.h -------------------------------------------------------------------------------- /apps/ITC/io.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/ITC/io.cpp -------------------------------------------------------------------------------- /apps/ITC/localSearch.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/ITC/localSearch.cpp -------------------------------------------------------------------------------- /apps/ITC/localSearch.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/ITC/localSearch.h -------------------------------------------------------------------------------- /apps/ITC/optionsFile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/ITC/optionsFile -------------------------------------------------------------------------------- /apps/ITC/timetabling.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/ITC/timetabling.cpp -------------------------------------------------------------------------------- /apps/ITC/timetabling.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/ITC/timetabling.h -------------------------------------------------------------------------------- /apps/ITC/verification/test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/ITC/verification/test.sh -------------------------------------------------------------------------------- /apps/ITC/verification/validator.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/ITC/verification/validator.cc -------------------------------------------------------------------------------- /apps/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/README.md -------------------------------------------------------------------------------- /apps/XCSP3/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/XCSP3/CMakeLists.txt -------------------------------------------------------------------------------- /apps/XCSP3/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/XCSP3/README.md -------------------------------------------------------------------------------- /apps/XCSP3/naxos-xcsp3.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/XCSP3/naxos-xcsp3.cpp -------------------------------------------------------------------------------- /apps/XCSP3/translator.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/XCSP3/translator.cpp -------------------------------------------------------------------------------- /apps/XCSP3/translator.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/XCSP3/translator.h -------------------------------------------------------------------------------- /apps/XCSP3/verification/AllDifferent.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/XCSP3/verification/AllDifferent.sol -------------------------------------------------------------------------------- /apps/XCSP3/verification/AllDifferent.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/XCSP3/verification/AllDifferent.xml -------------------------------------------------------------------------------- /apps/XCSP3/verification/Arrays.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/XCSP3/verification/Arrays.sol -------------------------------------------------------------------------------- /apps/XCSP3/verification/Arrays.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/XCSP3/verification/Arrays.xml -------------------------------------------------------------------------------- /apps/XCSP3/verification/COP_MaxCoeffs_Maximization.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/XCSP3/verification/COP_MaxCoeffs_Maximization.sol -------------------------------------------------------------------------------- /apps/XCSP3/verification/COP_MaxCoeffs_Maximization.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/XCSP3/verification/COP_MaxCoeffs_Maximization.xml -------------------------------------------------------------------------------- /apps/XCSP3/verification/COP_MaxCoeffs_Minimization.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/XCSP3/verification/COP_MaxCoeffs_Minimization.sol -------------------------------------------------------------------------------- /apps/XCSP3/verification/COP_MaxCoeffs_Minimization.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/XCSP3/verification/COP_MaxCoeffs_Minimization.xml -------------------------------------------------------------------------------- /apps/XCSP3/verification/COP_Max_Maximization.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/XCSP3/verification/COP_Max_Maximization.sol -------------------------------------------------------------------------------- /apps/XCSP3/verification/COP_Max_Maximization.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/XCSP3/verification/COP_Max_Maximization.xml -------------------------------------------------------------------------------- /apps/XCSP3/verification/COP_Max_Minimization.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/XCSP3/verification/COP_Max_Minimization.sol -------------------------------------------------------------------------------- /apps/XCSP3/verification/COP_Max_Minimization.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/XCSP3/verification/COP_Max_Minimization.xml -------------------------------------------------------------------------------- /apps/XCSP3/verification/COP_Maximization.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/XCSP3/verification/COP_Maximization.sol -------------------------------------------------------------------------------- /apps/XCSP3/verification/COP_Maximization.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/XCSP3/verification/COP_Maximization.xml -------------------------------------------------------------------------------- /apps/XCSP3/verification/COP_MinCoeffs_Maximization.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/XCSP3/verification/COP_MinCoeffs_Maximization.sol -------------------------------------------------------------------------------- /apps/XCSP3/verification/COP_MinCoeffs_Maximization.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/XCSP3/verification/COP_MinCoeffs_Maximization.xml -------------------------------------------------------------------------------- /apps/XCSP3/verification/COP_MinCoeffs_Minimization.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/XCSP3/verification/COP_MinCoeffs_Minimization.sol -------------------------------------------------------------------------------- /apps/XCSP3/verification/COP_MinCoeffs_Minimization.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/XCSP3/verification/COP_MinCoeffs_Minimization.xml -------------------------------------------------------------------------------- /apps/XCSP3/verification/COP_Min_Maximization.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/XCSP3/verification/COP_Min_Maximization.sol -------------------------------------------------------------------------------- /apps/XCSP3/verification/COP_Min_Maximization.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/XCSP3/verification/COP_Min_Maximization.xml -------------------------------------------------------------------------------- /apps/XCSP3/verification/COP_Min_Minimization.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/XCSP3/verification/COP_Min_Minimization.sol -------------------------------------------------------------------------------- /apps/XCSP3/verification/COP_Min_Minimization.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/XCSP3/verification/COP_Min_Minimization.xml -------------------------------------------------------------------------------- /apps/XCSP3/verification/COP_Minimization.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/XCSP3/verification/COP_Minimization.sol -------------------------------------------------------------------------------- /apps/XCSP3/verification/COP_Minimization.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/XCSP3/verification/COP_Minimization.xml -------------------------------------------------------------------------------- /apps/XCSP3/verification/COP_SumCoeffs_Maximization.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/XCSP3/verification/COP_SumCoeffs_Maximization.sol -------------------------------------------------------------------------------- /apps/XCSP3/verification/COP_SumCoeffs_Maximization.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/XCSP3/verification/COP_SumCoeffs_Maximization.xml -------------------------------------------------------------------------------- /apps/XCSP3/verification/COP_SumCoeffs_Minimization.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/XCSP3/verification/COP_SumCoeffs_Minimization.sol -------------------------------------------------------------------------------- /apps/XCSP3/verification/COP_SumCoeffs_Minimization.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/XCSP3/verification/COP_SumCoeffs_Minimization.xml -------------------------------------------------------------------------------- /apps/XCSP3/verification/COP_Sum_Maximization.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/XCSP3/verification/COP_Sum_Maximization.sol -------------------------------------------------------------------------------- /apps/XCSP3/verification/COP_Sum_Maximization.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/XCSP3/verification/COP_Sum_Maximization.xml -------------------------------------------------------------------------------- /apps/XCSP3/verification/COP_Sum_Minimization.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/XCSP3/verification/COP_Sum_Minimization.sol -------------------------------------------------------------------------------- /apps/XCSP3/verification/COP_Sum_Minimization.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/XCSP3/verification/COP_Sum_Minimization.xml -------------------------------------------------------------------------------- /apps/XCSP3/verification/CheckerFastInstances.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/XCSP3/verification/CheckerFastInstances.txt -------------------------------------------------------------------------------- /apps/XCSP3/verification/CheckerSlowInstances.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/XCSP3/verification/CheckerSlowInstances.txt -------------------------------------------------------------------------------- /apps/XCSP3/verification/CheckerUnsupportedInstances.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/XCSP3/verification/CheckerUnsupportedInstances.txt -------------------------------------------------------------------------------- /apps/XCSP3/verification/Element.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/XCSP3/verification/Element.sol -------------------------------------------------------------------------------- /apps/XCSP3/verification/Element.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/XCSP3/verification/Element.xml -------------------------------------------------------------------------------- /apps/XCSP3/verification/Extension.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/XCSP3/verification/Extension.sol -------------------------------------------------------------------------------- /apps/XCSP3/verification/Extension.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/XCSP3/verification/Extension.xml -------------------------------------------------------------------------------- /apps/XCSP3/verification/IntensionConstOpVarCompVar.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/XCSP3/verification/IntensionConstOpVarCompVar.sol -------------------------------------------------------------------------------- /apps/XCSP3/verification/IntensionConstOpVarCompVar.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/XCSP3/verification/IntensionConstOpVarCompVar.xml -------------------------------------------------------------------------------- /apps/XCSP3/verification/IntensionVarCompConst.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/XCSP3/verification/IntensionVarCompConst.sol -------------------------------------------------------------------------------- /apps/XCSP3/verification/IntensionVarCompConst.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/XCSP3/verification/IntensionVarCompConst.xml -------------------------------------------------------------------------------- /apps/XCSP3/verification/IntensionVarCompConstOpVar.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/XCSP3/verification/IntensionVarCompConstOpVar.sol -------------------------------------------------------------------------------- /apps/XCSP3/verification/IntensionVarCompConstOpVar.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/XCSP3/verification/IntensionVarCompConstOpVar.xml -------------------------------------------------------------------------------- /apps/XCSP3/verification/IntensionVarCompVar.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/XCSP3/verification/IntensionVarCompVar.sol -------------------------------------------------------------------------------- /apps/XCSP3/verification/IntensionVarCompVar.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/XCSP3/verification/IntensionVarCompVar.xml -------------------------------------------------------------------------------- /apps/XCSP3/verification/IntensionVarCompVarOpConst.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/XCSP3/verification/IntensionVarCompVarOpConst.sol -------------------------------------------------------------------------------- /apps/XCSP3/verification/IntensionVarCompVarOpConst.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/XCSP3/verification/IntensionVarCompVarOpConst.xml -------------------------------------------------------------------------------- /apps/XCSP3/verification/IntensionVarCompVarOpVar.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/XCSP3/verification/IntensionVarCompVarOpVar.sol -------------------------------------------------------------------------------- /apps/XCSP3/verification/IntensionVarCompVarOpVar.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/XCSP3/verification/IntensionVarCompVarOpVar.xml -------------------------------------------------------------------------------- /apps/XCSP3/verification/IntensionVarOpConstCompVar.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/XCSP3/verification/IntensionVarOpConstCompVar.sol -------------------------------------------------------------------------------- /apps/XCSP3/verification/IntensionVarOpConstCompVar.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/XCSP3/verification/IntensionVarOpConstCompVar.xml -------------------------------------------------------------------------------- /apps/XCSP3/verification/IntensionVarOpVarCompVar.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/XCSP3/verification/IntensionVarOpVarCompVar.sol -------------------------------------------------------------------------------- /apps/XCSP3/verification/IntensionVarOpVarCompVar.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/XCSP3/verification/IntensionVarOpVarCompVar.xml -------------------------------------------------------------------------------- /apps/XCSP3/verification/OneVariable.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/XCSP3/verification/OneVariable.sol -------------------------------------------------------------------------------- /apps/XCSP3/verification/OneVariable.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/XCSP3/verification/OneVariable.xml -------------------------------------------------------------------------------- /apps/XCSP3/verification/Queens-0004-m1.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/XCSP3/verification/Queens-0004-m1.sol -------------------------------------------------------------------------------- /apps/XCSP3/verification/Queens-0004-m1.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/XCSP3/verification/Queens-0004-m1.xml -------------------------------------------------------------------------------- /apps/XCSP3/verification/Sum.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/XCSP3/verification/Sum.sol -------------------------------------------------------------------------------- /apps/XCSP3/verification/Sum.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/XCSP3/verification/Sum.xml -------------------------------------------------------------------------------- /apps/XCSP3/verification/SumCoeffs.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/XCSP3/verification/SumCoeffs.sol -------------------------------------------------------------------------------- /apps/XCSP3/verification/SumCoeffs.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/XCSP3/verification/SumCoeffs.xml -------------------------------------------------------------------------------- /apps/XCSP3/verification/SumCoeffsVars.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/XCSP3/verification/SumCoeffsVars.sol -------------------------------------------------------------------------------- /apps/XCSP3/verification/SumCoeffsVars.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/XCSP3/verification/SumCoeffsVars.xml -------------------------------------------------------------------------------- /apps/XCSP3/verification/ThreeVariables.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/XCSP3/verification/ThreeVariables.sol -------------------------------------------------------------------------------- /apps/XCSP3/verification/ThreeVariables.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/XCSP3/verification/ThreeVariables.xml -------------------------------------------------------------------------------- /apps/XCSP3/verification/common_functions.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/XCSP3/verification/common_functions.sh -------------------------------------------------------------------------------- /apps/XCSP3/verification/test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/XCSP3/verification/test.sh -------------------------------------------------------------------------------- /apps/XCSP3/verification/without_solutions/AllConstraints.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/XCSP3/verification/without_solutions/AllConstraints.xml -------------------------------------------------------------------------------- /apps/XCSP3/verification/without_solutions/AllConstraintsFormatted.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/XCSP3/verification/without_solutions/AllConstraintsFormatted.xml -------------------------------------------------------------------------------- /apps/for_amorgos/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/for_amorgos/CMakeLists.txt -------------------------------------------------------------------------------- /apps/for_amorgos/EinsteinRiddle.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/for_amorgos/EinsteinRiddle.cpp -------------------------------------------------------------------------------- /apps/for_amorgos/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/for_amorgos/README.md -------------------------------------------------------------------------------- /apps/for_amorgos/cryptmult.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/for_amorgos/cryptmult.cpp -------------------------------------------------------------------------------- /apps/for_amorgos/golfer.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/for_amorgos/golfer.cpp -------------------------------------------------------------------------------- /apps/for_amorgos/graphcolor.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/for_amorgos/graphcolor.cpp -------------------------------------------------------------------------------- /apps/for_amorgos/knump.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/for_amorgos/knump.cpp -------------------------------------------------------------------------------- /apps/for_amorgos/magic.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/for_amorgos/magic.cpp -------------------------------------------------------------------------------- /apps/for_amorgos/mapcolor.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/for_amorgos/mapcolor.cpp -------------------------------------------------------------------------------- /apps/for_amorgos/nqueens.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/for_amorgos/nqueens.cpp -------------------------------------------------------------------------------- /apps/for_amorgos/placement.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/for_amorgos/placement.cpp -------------------------------------------------------------------------------- /apps/for_amorgos/sudoku.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/for_amorgos/sudoku.cpp -------------------------------------------------------------------------------- /apps/for_amorgos/vertexcover.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/for_amorgos/vertexcover.cpp -------------------------------------------------------------------------------- /apps/nqueens.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/nqueens.cpp -------------------------------------------------------------------------------- /apps/send_more_money.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/send_more_money.cpp -------------------------------------------------------------------------------- /apps/verification/nqueens_12_sorted_solutions.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/verification/nqueens_12_sorted_solutions.txt -------------------------------------------------------------------------------- /apps/verification/nqueens_4_sorted_solutions.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/verification/nqueens_4_sorted_solutions.txt -------------------------------------------------------------------------------- /apps/verification/nqueens_8_sorted_solutions.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/verification/nqueens_8_sorted_solutions.txt -------------------------------------------------------------------------------- /apps/verification/send_more_money_solution.txt: -------------------------------------------------------------------------------- 1 | 9567 2 | + 1085 3 | = 10652 4 | -------------------------------------------------------------------------------- /apps/verification/test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/apps/verification/test.sh -------------------------------------------------------------------------------- /core/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/core/CMakeLists.txt -------------------------------------------------------------------------------- /core/array_constraints.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/core/array_constraints.cpp -------------------------------------------------------------------------------- /core/bitset_domain.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/core/bitset_domain.cpp -------------------------------------------------------------------------------- /core/expressions.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/core/expressions.cpp -------------------------------------------------------------------------------- /core/internal.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/core/internal.h -------------------------------------------------------------------------------- /core/intvar.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/core/intvar.cpp -------------------------------------------------------------------------------- /core/naxos-mini.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/core/naxos-mini.h -------------------------------------------------------------------------------- /core/naxos.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/core/naxos.h -------------------------------------------------------------------------------- /core/non_mini_solver_constraints.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/core/non_mini_solver_constraints.cpp -------------------------------------------------------------------------------- /core/non_mini_solver_expressions.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/core/non_mini_solver_expressions.cpp -------------------------------------------------------------------------------- /core/problemmanager.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/core/problemmanager.cpp -------------------------------------------------------------------------------- /core/stack.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/core/stack.h -------------------------------------------------------------------------------- /core/var_constraints.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/core/var_constraints.cpp -------------------------------------------------------------------------------- /manual/Arrays.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/manual/Arrays.md -------------------------------------------------------------------------------- /manual/Errors.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/manual/Errors.md -------------------------------------------------------------------------------- /manual/Examples.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/manual/Examples.md -------------------------------------------------------------------------------- /manual/Expressions.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/manual/Expressions.md -------------------------------------------------------------------------------- /manual/Goals.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/manual/Goals.md -------------------------------------------------------------------------------- /manual/Introduction.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/manual/Introduction.md -------------------------------------------------------------------------------- /manual/ProblemManager.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/manual/ProblemManager.md -------------------------------------------------------------------------------- /manual/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/manual/README.md -------------------------------------------------------------------------------- /manual/Variables.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/manual/Variables.md -------------------------------------------------------------------------------- /manual/figures/AC.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/manual/figures/AC.svg -------------------------------------------------------------------------------- /manual/figures/AC.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/manual/figures/AC.tex -------------------------------------------------------------------------------- /manual/figures/NsgLabeling.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/manual/figures/NsgLabeling.svg -------------------------------------------------------------------------------- /manual/figures/NsgLabeling.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/manual/figures/NsgLabeling.tex -------------------------------------------------------------------------------- /manual/figures/logo.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/manual/figures/logo.svg -------------------------------------------------------------------------------- /plugins/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/plugins/CMakeLists.txt -------------------------------------------------------------------------------- /plugins/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/plugins/README.md -------------------------------------------------------------------------------- /plugins/amorgos.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/plugins/amorgos.h -------------------------------------------------------------------------------- /plugins/boundedbt.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/plugins/boundedbt.cpp -------------------------------------------------------------------------------- /plugins/boundedbt.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/plugins/boundedbt.h -------------------------------------------------------------------------------- /plugins/credit.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/plugins/credit.cpp -------------------------------------------------------------------------------- /plugins/credit.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/plugins/credit.h -------------------------------------------------------------------------------- /plugins/dbds.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/plugins/dbds.cpp -------------------------------------------------------------------------------- /plugins/dbds.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/plugins/dbds.h -------------------------------------------------------------------------------- /plugins/dbs.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/plugins/dbs.cpp -------------------------------------------------------------------------------- /plugins/dbs.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/plugins/dbs.h -------------------------------------------------------------------------------- /plugins/dfs.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/plugins/dfs.cpp -------------------------------------------------------------------------------- /plugins/dfs.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/plugins/dfs.h -------------------------------------------------------------------------------- /plugins/domain_splitting.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/plugins/domain_splitting.cpp -------------------------------------------------------------------------------- /plugins/domain_splitting.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/plugins/domain_splitting.h -------------------------------------------------------------------------------- /plugins/fns.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/plugins/fns.cpp -------------------------------------------------------------------------------- /plugins/fns.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/plugins/fns.h -------------------------------------------------------------------------------- /plugins/gns.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/plugins/gns.cpp -------------------------------------------------------------------------------- /plugins/gns.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/plugins/gns.h -------------------------------------------------------------------------------- /plugins/heuristics.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/plugins/heuristics.cpp -------------------------------------------------------------------------------- /plugins/heuristics.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/plugins/heuristics.h -------------------------------------------------------------------------------- /plugins/ibroad.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/plugins/ibroad.cpp -------------------------------------------------------------------------------- /plugins/ibroad.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/plugins/ibroad.h -------------------------------------------------------------------------------- /plugins/isamp.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/plugins/isamp.cpp -------------------------------------------------------------------------------- /plugins/isamp.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/plugins/isamp.h -------------------------------------------------------------------------------- /plugins/lan.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/plugins/lan.cpp -------------------------------------------------------------------------------- /plugins/lan.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/plugins/lan.h -------------------------------------------------------------------------------- /plugins/lds.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/plugins/lds.cpp -------------------------------------------------------------------------------- /plugins/lds.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/plugins/lds.h -------------------------------------------------------------------------------- /plugins/onesamp.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/plugins/onesamp.cpp -------------------------------------------------------------------------------- /plugins/onesamp.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/plugins/onesamp.h -------------------------------------------------------------------------------- /plugins/pops.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/plugins/pops.cpp -------------------------------------------------------------------------------- /plugins/pops.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/plugins/pops.h -------------------------------------------------------------------------------- /plugins/rdfs.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/plugins/rdfs.cpp -------------------------------------------------------------------------------- /plugins/rdfs.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pothitos/naxos/HEAD/plugins/rdfs.h --------------------------------------------------------------------------------