clasp/COPYING
clasp/CHANGES
clasp/Makefile
clasp/README
clasp/bin/dummy.txt
clasp/lib/solve_algorithms.cpp
clasp/lib/program_rule.cpp
clasp/lib/unfounded_check.cpp
clasp/lib/heuristics.cpp
clasp/lib/lparse_reader.cpp
clasp/lib/constraint.cpp
clasp/lib/preprocessor.cpp
clasp/lib/solver.cpp
clasp/lib/clause.cpp
clasp/lib/Makefile
clasp/lib/smodels_constraints.cpp
clasp/lib/program_builder.cpp
clasp/doc/api/clasp.txt
clasp/doc/api/clasp
clasp/include/literal.h
clasp/include/solver.h
clasp/include/heuristics.h
clasp/include/clause.h
clasp/include/lparse_reader.h
clasp/include/smodels_constraints.h
clasp/include/program_builder.h
clasp/include/program_rule.h
clasp/include/solver_types.h
clasp/include/solve_algorithms.h
clasp/include/constraint.h
clasp/include/pod_vector.h
clasp/include/unfounded_check.h
clasp/include/preprocessor.h
clasp/include/util/misc_types.h
clasp/include/util/platform.h
clasp/include/util/pod_vector.h
clasp/include/util/indexed_priority_queue.h
clasp/app/options.h
clasp/app/timer.cpp
clasp/app/main.cpp
clasp/app/timer.h
clasp/app/options.cpp
clasp/app/Makefile
clasp/app/program_opts/errors.h
clasp/app/program_opts/value_base.h
clasp/app/program_opts/value.h
clasp/app/program_opts/program_options.cpp
clasp/app/program_opts/program_options.h
clasp/app/program_opts/value.cpp
clasp/app/program_opts/detail/smartpointer.h
clasp/test/rule_transform_test.cpp
clasp/test/minimize_test.cpp
clasp/test/test_main.cpp
clasp/test/solver_test.cpp
clasp/test/unfounded_check_test.cpp
clasp/test/lparse_reader_test.cpp
clasp/test/literal_test.cpp
clasp/test/clause_creator_test.cpp
clasp/test/clause_test.cpp
clasp/test/Makefile
clasp/test/decision_heuristic_test.cpp
clasp/test/smodels_constraints_test.cpp
clasp/test/program_builder_test.cpp
clasp/build/vc8/clasp/clasp.sln
clasp/build/vc8/clasp/lib/lib.vcproj
clasp/build/vc8/clasp/app/app.vcproj
clasp/build/vc8/clasp/test/test.vcproj
clasp/build/vc8/clasp/lib
clasp/build/vc8/clasp/app
clasp/build/vc8/clasp/test
clasp/app/program_opts/detail
clasp/build/vc8/clasp
clasp/doc/api
clasp/include/util
clasp/app/program_opts
clasp/build/vc8
clasp/bin
clasp/lib
clasp/doc
clasp/include
clasp/app
clasp/test
clasp/build
clasp
www.dssz.com.txt