# DecStar

**Repository Path**: junhuizhou/DecStar

## Basic Information

- **Project Name**: DecStar
- **Description**: 镜像https://github.com/ipc2023-classical/planner15.git
- **Primary Language**: C++
- **License**: GPL-3.0
- **Default Branch**: latest
- **Homepage**: None
- **GVP Project**: No

## Statistics

- **Stars**: 0
- **Forks**: 0
- **Created**: 2026-02-06
- **Last Updated**: 2026-02-09

## Categories & Tags

**Categories**: Uncategorized

**Tags**: None

## README

The following heuristics/search engines/pruning options are adapted for decoupled search:

blind, hmax, add, lmcut, ff
astar, eager_greedy, lazy_wastar, lazy_greedy
stubborn_sets_decoupled

To run decoupled search, add the command line option --decoupling "profile(options)"

where profile can be any of {fork, ifork, xshape, incarcs}

available search options: 
search_type = {fra, [sda], asda, sat, unsat} where the first three correspond to different types of optimal search, the last one is a slight optimization of sat for exhausting large state spaces