COPYING
COPYING.LESSER
MANIFEST.in
README.rst
requirements.txt
setup.py
lincs/__init__.py
lincs/__main__.py
lincs/command_line_interface.py
lincs/liblincs_module_tests.py
lincs/visualization.py
lincs.egg-info/PKG-INFO
lincs.egg-info/SOURCES.txt
lincs.egg-info/dependency_links.txt
lincs.egg-info/entry_points.txt
lincs.egg-info/requires.txt
lincs.egg-info/top_level.txt
lincs/liblincs/classification.cpp
lincs/liblincs/classification.hpp
lincs/liblincs/generation.cpp
lincs/liblincs/generation.hpp
lincs/liblincs/io.cpp
lincs/liblincs/io.hpp
lincs/liblincs/learning.cpp
lincs/liblincs/learning.hpp
lincs/liblincs/liblincs_module.cpp
lincs/liblincs/lincs.hpp
lincs/liblincs/randomness-utils.cpp
lincs/liblincs/randomness-utils.hpp
lincs/liblincs/io/alternatives.cpp
lincs/liblincs/io/alternatives.hpp
lincs/liblincs/io/model.cpp
lincs/liblincs/io/model.hpp
lincs/liblincs/io/problem.cpp
lincs/liblincs/io/problem.hpp
lincs/liblincs/io/validation.cpp
lincs/liblincs/io/validation.hpp
lincs/liblincs/learning/exception.cpp
lincs/liblincs/learning/exception.hpp
lincs/liblincs/learning/mrsort-by-weights-profiles-breed.cpp
lincs/liblincs/learning/mrsort-by-weights-profiles-breed.hpp
lincs/liblincs/learning/ucncs-by-sat-by-coalitions.cpp
lincs/liblincs/learning/ucncs-by-sat-by-coalitions.hpp
lincs/liblincs/learning/ucncs-by-sat-by-separation.cpp
lincs/liblincs/learning/ucncs-by-sat-by-separation.hpp
lincs/liblincs/learning/mrsort-by-weights-profiles-breed/breed/reinitialize-least-accurate.cpp
lincs/liblincs/learning/mrsort-by-weights-profiles-breed/breed/reinitialize-least-accurate.hpp
lincs/liblincs/learning/mrsort-by-weights-profiles-breed/improve-profiles/accuracy-heuristic-on-cpu.cpp
lincs/liblincs/learning/mrsort-by-weights-profiles-breed/improve-profiles/accuracy-heuristic-on-cpu.hpp
lincs/liblincs/learning/mrsort-by-weights-profiles-breed/improve-profiles/accuracy-heuristic-on-gpu.cu
lincs/liblincs/learning/mrsort-by-weights-profiles-breed/improve-profiles/accuracy-heuristic-on-gpu.hpp
lincs/liblincs/learning/mrsort-by-weights-profiles-breed/improve-profiles/accuracy-heuristic/desirability.hpp
lincs/liblincs/learning/mrsort-by-weights-profiles-breed/initialize-profiles/probabilistic-maximal-discrimination-power-per-criterion.cpp
lincs/liblincs/learning/mrsort-by-weights-profiles-breed/initialize-profiles/probabilistic-maximal-discrimination-power-per-criterion.hpp
lincs/liblincs/learning/mrsort-by-weights-profiles-breed/optimize-weights/linear-program.cpp
lincs/liblincs/learning/mrsort-by-weights-profiles-breed/optimize-weights/linear-program.hpp
lincs/liblincs/learning/mrsort-by-weights-profiles-breed/terminate/after-iterations.hpp
lincs/liblincs/learning/mrsort-by-weights-profiles-breed/terminate/after-seconds.hpp
lincs/liblincs/learning/mrsort-by-weights-profiles-breed/terminate/at-accuracy.cpp
lincs/liblincs/learning/mrsort-by-weights-profiles-breed/terminate/at-accuracy.hpp
lincs/liblincs/learning/mrsort-by-weights-profiles-breed/terminate/composite.cpp
lincs/liblincs/learning/mrsort-by-weights-profiles-breed/terminate/composite.hpp
lincs/liblincs/linear-programming/alglib.cpp
lincs/liblincs/linear-programming/alglib.hpp
lincs/liblincs/linear-programming/glop.cpp
lincs/liblincs/linear-programming/glop.hpp
lincs/liblincs/linear-programming/test.cpp
lincs/liblincs/sat/eval-max-sat.cpp
lincs/liblincs/sat/eval-max-sat.hpp
lincs/liblincs/sat/minisat.cpp
lincs/liblincs/sat/minisat.hpp
lincs/liblincs/sat/test.cpp
lincs/liblincs/vendored/doctest.h
lincs/liblincs/vendored/lov-e.hpp
lincs/liblincs/vendored/magic_enum.hpp
lincs/liblincs/vendored/rapidcsv.h
lincs/liblincs/vendored/alglib/alglibinternal.cpp
lincs/liblincs/vendored/alglib/alglibinternal.h
lincs/liblincs/vendored/alglib/alglibmisc.cpp
lincs/liblincs/vendored/alglib/alglibmisc.h
lincs/liblincs/vendored/alglib/ap.cpp
lincs/liblincs/vendored/alglib/ap.h
lincs/liblincs/vendored/alglib/dataanalysis.cpp
lincs/liblincs/vendored/alglib/dataanalysis.h
lincs/liblincs/vendored/alglib/diffequations.cpp
lincs/liblincs/vendored/alglib/diffequations.h
lincs/liblincs/vendored/alglib/fasttransforms.cpp
lincs/liblincs/vendored/alglib/fasttransforms.h
lincs/liblincs/vendored/alglib/integration.cpp
lincs/liblincs/vendored/alglib/integration.h
lincs/liblincs/vendored/alglib/interpolation.cpp
lincs/liblincs/vendored/alglib/interpolation.h
lincs/liblincs/vendored/alglib/kernels_avx2.cpp
lincs/liblincs/vendored/alglib/kernels_avx2.h
lincs/liblincs/vendored/alglib/kernels_fma.cpp
lincs/liblincs/vendored/alglib/kernels_fma.h
lincs/liblincs/vendored/alglib/kernels_sse2.cpp
lincs/liblincs/vendored/alglib/kernels_sse2.h
lincs/liblincs/vendored/alglib/linalg.cpp
lincs/liblincs/vendored/alglib/linalg.h
lincs/liblincs/vendored/alglib/optimization.cpp
lincs/liblincs/vendored/alglib/optimization.h
lincs/liblincs/vendored/alglib/solvers.cpp
lincs/liblincs/vendored/alglib/solvers.h
lincs/liblincs/vendored/alglib/specialfunctions.cpp
lincs/liblincs/vendored/alglib/specialfunctions.h
lincs/liblincs/vendored/alglib/statistics.cpp
lincs/liblincs/vendored/alglib/statistics.h
lincs/liblincs/vendored/alglib/stdafx.h
lincs/liblincs/vendored/eval-max-sat/EvalMaxSAT.h
lincs/liblincs/vendored/eval-max-sat/ParseUtils.h
lincs/liblincs/vendored/eval-max-sat/cadicalinterface.h
lincs/liblincs/vendored/eval-max-sat/card_oe.cpp
lincs/liblincs/vendored/eval-max-sat/card_oe.h
lincs/liblincs/vendored/eval-max-sat/cardincremental.cpp
lincs/liblincs/vendored/eval-max-sat/cardincremental.h
lincs/liblincs/vendored/eval-max-sat/lazyvariable.cpp
lincs/liblincs/vendored/eval-max-sat/lazyvariable.h
lincs/liblincs/vendored/eval-max-sat/mcqd.h
lincs/liblincs/vendored/eval-max-sat/virtualcard.cpp
lincs/liblincs/vendored/eval-max-sat/virtualcard.h
lincs/liblincs/vendored/eval-max-sat/virtualmaxsat.h
lincs/liblincs/vendored/eval-max-sat/virtualsat.cpp
lincs/liblincs/vendored/eval-max-sat/virtualsat.h
lincs/liblincs/vendored/eval-max-sat/MaLib/Chrono.h
lincs/liblincs/vendored/eval-max-sat/MaLib/View.h
lincs/liblincs/vendored/eval-max-sat/MaLib/communicationlist.h
lincs/liblincs/vendored/eval-max-sat/MaLib/coutUtil.h
lincs/liblincs/vendored/eval-max-sat/MaLib/math.h
lincs/liblincs/vendored/eval-max-sat/cadical/analyze.cpp
lincs/liblincs/vendored/eval-max-sat/cadical/arena.cpp
lincs/liblincs/vendored/eval-max-sat/cadical/arena.hpp
lincs/liblincs/vendored/eval-max-sat/cadical/assume.cpp
lincs/liblincs/vendored/eval-max-sat/cadical/averages.cpp
lincs/liblincs/vendored/eval-max-sat/cadical/averages.hpp
lincs/liblincs/vendored/eval-max-sat/cadical/backtrack.cpp
lincs/liblincs/vendored/eval-max-sat/cadical/backward.cpp
lincs/liblincs/vendored/eval-max-sat/cadical/bins.cpp
lincs/liblincs/vendored/eval-max-sat/cadical/bins.hpp
lincs/liblincs/vendored/eval-max-sat/cadical/block.cpp
lincs/liblincs/vendored/eval-max-sat/cadical/block.hpp
lincs/liblincs/vendored/eval-max-sat/cadical/cadical.cpp
lincs/liblincs/vendored/eval-max-sat/cadical/cadical.hpp
lincs/liblincs/vendored/eval-max-sat/cadical/ccadical.cpp
lincs/liblincs/vendored/eval-max-sat/cadical/ccadical.h
lincs/liblincs/vendored/eval-max-sat/cadical/checker.cpp
lincs/liblincs/vendored/eval-max-sat/cadical/checker.hpp
lincs/liblincs/vendored/eval-max-sat/cadical/clause.cpp
lincs/liblincs/vendored/eval-max-sat/cadical/clause.hpp
lincs/liblincs/vendored/eval-max-sat/cadical/collect.cpp
lincs/liblincs/vendored/eval-max-sat/cadical/compact.cpp
lincs/liblincs/vendored/eval-max-sat/cadical/condition.cpp
lincs/liblincs/vendored/eval-max-sat/cadical/config.cpp
lincs/liblincs/vendored/eval-max-sat/cadical/config.hpp
lincs/liblincs/vendored/eval-max-sat/cadical/constrain.cpp
lincs/liblincs/vendored/eval-max-sat/cadical/contract.cpp
lincs/liblincs/vendored/eval-max-sat/cadical/contract.hpp
lincs/liblincs/vendored/eval-max-sat/cadical/cover.cpp
lincs/liblincs/vendored/eval-max-sat/cadical/cover.hpp
lincs/liblincs/vendored/eval-max-sat/cadical/decide.cpp
lincs/liblincs/vendored/eval-max-sat/cadical/decompose.cpp
lincs/liblincs/vendored/eval-max-sat/cadical/deduplicate.cpp
lincs/liblincs/vendored/eval-max-sat/cadical/elim.cpp
lincs/liblincs/vendored/eval-max-sat/cadical/elim.hpp
lincs/liblincs/vendored/eval-max-sat/cadical/ema.cpp
lincs/liblincs/vendored/eval-max-sat/cadical/ema.hpp
lincs/liblincs/vendored/eval-max-sat/cadical/extend.cpp
lincs/liblincs/vendored/eval-max-sat/cadical/external.cpp
lincs/liblincs/vendored/eval-max-sat/cadical/external.hpp
lincs/liblincs/vendored/eval-max-sat/cadical/file.cpp
lincs/liblincs/vendored/eval-max-sat/cadical/file.hpp
lincs/liblincs/vendored/eval-max-sat/cadical/flags.cpp
lincs/liblincs/vendored/eval-max-sat/cadical/flags.hpp
lincs/liblincs/vendored/eval-max-sat/cadical/format.cpp
lincs/liblincs/vendored/eval-max-sat/cadical/format.hpp
lincs/liblincs/vendored/eval-max-sat/cadical/gates.cpp
lincs/liblincs/vendored/eval-max-sat/cadical/heap.hpp
lincs/liblincs/vendored/eval-max-sat/cadical/instantiate.cpp
lincs/liblincs/vendored/eval-max-sat/cadical/instantiate.hpp
lincs/liblincs/vendored/eval-max-sat/cadical/internal.cpp
lincs/liblincs/vendored/eval-max-sat/cadical/internal.hpp
lincs/liblincs/vendored/eval-max-sat/cadical/inttypes.hpp
lincs/liblincs/vendored/eval-max-sat/cadical/ipasir.cpp
lincs/liblincs/vendored/eval-max-sat/cadical/ipasir.h
lincs/liblincs/vendored/eval-max-sat/cadical/level.hpp
lincs/liblincs/vendored/eval-max-sat/cadical/limit.cpp
lincs/liblincs/vendored/eval-max-sat/cadical/limit.hpp
lincs/liblincs/vendored/eval-max-sat/cadical/logging.cpp
lincs/liblincs/vendored/eval-max-sat/cadical/logging.hpp
lincs/liblincs/vendored/eval-max-sat/cadical/lookahead.cpp
lincs/liblincs/vendored/eval-max-sat/cadical/lucky.cpp
lincs/liblincs/vendored/eval-max-sat/cadical/message.cpp
lincs/liblincs/vendored/eval-max-sat/cadical/message.hpp
lincs/liblincs/vendored/eval-max-sat/cadical/minimize.cpp
lincs/liblincs/vendored/eval-max-sat/cadical/mobical.cpp
lincs/liblincs/vendored/eval-max-sat/cadical/observer.hpp
lincs/liblincs/vendored/eval-max-sat/cadical/occs.cpp
lincs/liblincs/vendored/eval-max-sat/cadical/occs.hpp
lincs/liblincs/vendored/eval-max-sat/cadical/options.cpp
lincs/liblincs/vendored/eval-max-sat/cadical/options.hpp
lincs/liblincs/vendored/eval-max-sat/cadical/parse.cpp
lincs/liblincs/vendored/eval-max-sat/cadical/parse.hpp
lincs/liblincs/vendored/eval-max-sat/cadical/phases.cpp
lincs/liblincs/vendored/eval-max-sat/cadical/phases.hpp
lincs/liblincs/vendored/eval-max-sat/cadical/probe.cpp
lincs/liblincs/vendored/eval-max-sat/cadical/profile.cpp
lincs/liblincs/vendored/eval-max-sat/cadical/profile.hpp
lincs/liblincs/vendored/eval-max-sat/cadical/proof.cpp
lincs/liblincs/vendored/eval-max-sat/cadical/proof.hpp
lincs/liblincs/vendored/eval-max-sat/cadical/propagate.cpp
lincs/liblincs/vendored/eval-max-sat/cadical/queue.cpp
lincs/liblincs/vendored/eval-max-sat/cadical/queue.hpp
lincs/liblincs/vendored/eval-max-sat/cadical/radix.hpp
lincs/liblincs/vendored/eval-max-sat/cadical/random.cpp
lincs/liblincs/vendored/eval-max-sat/cadical/random.hpp
lincs/liblincs/vendored/eval-max-sat/cadical/range.hpp
lincs/liblincs/vendored/eval-max-sat/cadical/reap.cpp
lincs/liblincs/vendored/eval-max-sat/cadical/reap.hpp
lincs/liblincs/vendored/eval-max-sat/cadical/reduce.cpp
lincs/liblincs/vendored/eval-max-sat/cadical/reluctant.hpp
lincs/liblincs/vendored/eval-max-sat/cadical/rephase.cpp
lincs/liblincs/vendored/eval-max-sat/cadical/report.cpp
lincs/liblincs/vendored/eval-max-sat/cadical/resources.cpp
lincs/liblincs/vendored/eval-max-sat/cadical/resources.hpp
lincs/liblincs/vendored/eval-max-sat/cadical/restart.cpp
lincs/liblincs/vendored/eval-max-sat/cadical/restore.cpp
lincs/liblincs/vendored/eval-max-sat/cadical/score.cpp
lincs/liblincs/vendored/eval-max-sat/cadical/score.hpp
lincs/liblincs/vendored/eval-max-sat/cadical/shrink.cpp
lincs/liblincs/vendored/eval-max-sat/cadical/signal.cpp
lincs/liblincs/vendored/eval-max-sat/cadical/signal.hpp
lincs/liblincs/vendored/eval-max-sat/cadical/solution.cpp
lincs/liblincs/vendored/eval-max-sat/cadical/solver.cpp
lincs/liblincs/vendored/eval-max-sat/cadical/stats.cpp
lincs/liblincs/vendored/eval-max-sat/cadical/stats.hpp
lincs/liblincs/vendored/eval-max-sat/cadical/subsume.cpp
lincs/liblincs/vendored/eval-max-sat/cadical/terminal.cpp
lincs/liblincs/vendored/eval-max-sat/cadical/terminal.hpp
lincs/liblincs/vendored/eval-max-sat/cadical/ternary.cpp
lincs/liblincs/vendored/eval-max-sat/cadical/tracer.cpp
lincs/liblincs/vendored/eval-max-sat/cadical/tracer.hpp
lincs/liblincs/vendored/eval-max-sat/cadical/transred.cpp
lincs/liblincs/vendored/eval-max-sat/cadical/util.cpp
lincs/liblincs/vendored/eval-max-sat/cadical/util.hpp
lincs/liblincs/vendored/eval-max-sat/cadical/var.cpp
lincs/liblincs/vendored/eval-max-sat/cadical/var.hpp
lincs/liblincs/vendored/eval-max-sat/cadical/version.cpp
lincs/liblincs/vendored/eval-max-sat/cadical/version.hpp
lincs/liblincs/vendored/eval-max-sat/cadical/vivify.cpp
lincs/liblincs/vendored/eval-max-sat/cadical/vivify.hpp
lincs/liblincs/vendored/eval-max-sat/cadical/walk.cpp
lincs/liblincs/vendored/eval-max-sat/cadical/watch.cpp
lincs/liblincs/vendored/eval-max-sat/cadical/watch.hpp
lincs/liblincs/vendored/minisat/core/Solver.cc
lincs/liblincs/vendored/minisat/core/Solver.h
lincs/liblincs/vendored/minisat/core/SolverTypes.h
lincs/liblincs/vendored/minisat/mtl/Alg.h
lincs/liblincs/vendored/minisat/mtl/Alloc.h
lincs/liblincs/vendored/minisat/mtl/Heap.h
lincs/liblincs/vendored/minisat/mtl/IntMap.h
lincs/liblincs/vendored/minisat/mtl/IntTypes.h
lincs/liblincs/vendored/minisat/mtl/Map.h
lincs/liblincs/vendored/minisat/mtl/Queue.h
lincs/liblincs/vendored/minisat/mtl/Rnd.h
lincs/liblincs/vendored/minisat/mtl/Sort.h
lincs/liblincs/vendored/minisat/mtl/Vec.h
lincs/liblincs/vendored/minisat/mtl/XAlloc.h
lincs/liblincs/vendored/minisat/simp/SimpSolver.cc
lincs/liblincs/vendored/minisat/simp/SimpSolver.h
lincs/liblincs/vendored/minisat/utils/Options.cc
lincs/liblincs/vendored/minisat/utils/Options.h
lincs/liblincs/vendored/minisat/utils/ParseUtils.h
lincs/liblincs/vendored/minisat/utils/System.cc
lincs/liblincs/vendored/minisat/utils/System.h
lincs/liblincs/vendored/valijson/constraint_builder.hpp
lincs/liblincs/vendored/valijson/exceptions.hpp
lincs/liblincs/vendored/valijson/schema.hpp
lincs/liblincs/vendored/valijson/schema_parser.hpp
lincs/liblincs/vendored/valijson/subschema.hpp
lincs/liblincs/vendored/valijson/validation_results.hpp
lincs/liblincs/vendored/valijson/validation_visitor.hpp
lincs/liblincs/vendored/valijson/validator.hpp
lincs/liblincs/vendored/valijson/adapters/std_string_adapter.hpp
lincs/liblincs/vendored/valijson/adapters/yaml_cpp_adapter.hpp
lincs/liblincs/vendored/valijson/constraints/basic_constraint.hpp
lincs/liblincs/vendored/valijson/constraints/concrete_constraints.hpp
lincs/liblincs/vendored/valijson/constraints/constraint.hpp
lincs/liblincs/vendored/valijson/constraints/constraint_visitor.hpp
lincs/liblincs/vendored/valijson/internal/adapter.hpp
lincs/liblincs/vendored/valijson/internal/basic_adapter.hpp
lincs/liblincs/vendored/valijson/internal/custom_allocator.hpp
lincs/liblincs/vendored/valijson/internal/debug.hpp
lincs/liblincs/vendored/valijson/internal/frozen_value.hpp
lincs/liblincs/vendored/valijson/internal/json_pointer.hpp
lincs/liblincs/vendored/valijson/internal/json_reference.hpp
lincs/liblincs/vendored/valijson/internal/optional.hpp
lincs/liblincs/vendored/valijson/internal/optional_bundled.hpp
lincs/liblincs/vendored/valijson/internal/uri.hpp
lincs/liblincs/vendored/valijson/utils/file_utils.hpp
lincs/liblincs/vendored/valijson/utils/utf8_utils.hpp