examples/graph/clique.lp
examples/graph/degree-bounded_connected_subgraph.lp
examples/graph/graph1
examples/graph/graph_isomorphism.lp
examples/graph/hamiltonian_cycle.lp
examples/graph/induced_path.lp
examples/graph/k-closure.lp
examples/graph/k-colorability.lp
examples/graph/lizi.lp~
examples/graph/longest_cycle.lp
examples/graph/traveling_salesman.lp
examples/graph/vertex_cover.lp
examples/graph
examples/logic/maxsat.lp
examples/logic/sat.lp
examples/logic
examples/planning/logistics.lp
examples/planning/plan1.lp
examples/planning/plan2.lp
examples/planning
examples/puzzle/puzzle.lp
examples/puzzle/puzzle1.lp
examples/puzzle/puzzle3.lp
examples/puzzle
examples