cx_up_nextflap

Package Summary

Version	0.0.0
License	Apache-2.0
Build type	AMENT_CMAKE
Use	RECOMMENDED

Repository Summary

Checkout URI	https://github.com/carologistics/clips_executive.git
VCS Type	git
VCS Version	master
Last Updated	2026-01-07
Dev Status	MAINTAINED
Released	RELEASED
Contributing	Help Wanted (-) Good First Issues (-) Pull Requests to Review (-)

Package Description

NEXTFLAP temporal planner integrated into Unified Planning.

Maintainers

Tarik Viehmann

Authors

Vercher Oscar Sapena Vercher

cx_up_nextflap

This wraps the temporal and numeric planner NEXTFLAP and it’s integration into the unified planning framework for easy deployment in ROS (source).

NEXTFLAP utilizes SMT solving via th z3 theorem prover. This wrapper is accompanied by the cx_z3_vendor package, which bundles a version that should work well with NEXTFLAP.

The both the original project and this one are licensed under Apache-2.0 license.

Original Description

This is the NEXTFLAP UP integrator. NEXTFLAP is an expressive temporal and numeric planner supporting planning problems involving Boolean and numeric state variables, instantaneous and durative actions. A distinctive feature of NEXTFLAP is the ability to reason over problems with a prevalent numeric structure, which may involve linear and non-linear numeric conditions and effects. NEXTFLAP favors the capability of modeling expressive problems; indeed it handles negative and disjunctive preconditions as well as existential and universal expressions. NEXTFLAP can be used as a satisficing planner and as a partial-order plan validator. NEXTFLAP is written completely in C++. NEXTFLAP is a numeric extension of TFLAP planner, and uses the Z3 Theorem Prover to check the numeric constraints and ensure consistency of plans.

Planning approaches of UP supported

Classical, Numeric and Temporal Planning

Partial-Order Plan Validator

Operative modes of UP currently supported

One shot planning Plan Validator

CHANGELOG

No CHANGELOG found.

Package Dependencies

Deps	Name
	ament_cmake
	ament_lint_auto
	ament_lint_common
	cx_z3_vendor

System Dependencies

No direct system dependencies.

Dependant Packages

No known dependants.

Launch files

No launch files found

Messages

No message files found.

Services

No service files found

Plugins

No plugins found.

Recent questions tagged `cx_up_nextflap` at Robotics Stack Exchange

cx_up_nextflap package from clips_executive repo

clips_executive cx_bringup cx_clips_env_manager cx_msgs cx_plugin cx_ament_index_plugin cx_config_plugin cx_example_plugin cx_executive_plugin cx_file_load_plugin cx_protobuf_plugin cx_ros_msgs_plugin cx_ros_param_plugin cx_tf2_pose_tracker_plugin cx_ros_comm_gen cx_tutorial_agents cx_utils cx_pddl_bringup cx_pddl_clips cx_pddl_manager cx_pddl_msgs cx_up_nextflap cx_z3_vendor cx_rl_clips cx_rl_gym cx_rl_interfaces cx_rl_multi_robot_mppo

ROS Distro
jazzy

Package Summary

Version	0.0.0
License	Apache-2.0
Build type	AMENT_CMAKE
Use	RECOMMENDED

Repository Summary

Checkout URI	https://github.com/carologistics/clips_executive.git
VCS Type	git
VCS Version	master
Last Updated	2026-01-07
Dev Status	MAINTAINED
Released	RELEASED
Contributing	Help Wanted (-) Good First Issues (-) Pull Requests to Review (-)

Package Description

NEXTFLAP temporal planner integrated into Unified Planning.

Maintainers

Tarik Viehmann

Authors

Vercher Oscar Sapena Vercher

cx_up_nextflap

This wraps the temporal and numeric planner NEXTFLAP and it’s integration into the unified planning framework for easy deployment in ROS (source).

NEXTFLAP utilizes SMT solving via th z3 theorem prover. This wrapper is accompanied by the cx_z3_vendor package, which bundles a version that should work well with NEXTFLAP.

The both the original project and this one are licensed under Apache-2.0 license.

Original Description

This is the NEXTFLAP UP integrator. NEXTFLAP is an expressive temporal and numeric planner supporting planning problems involving Boolean and numeric state variables, instantaneous and durative actions. A distinctive feature of NEXTFLAP is the ability to reason over problems with a prevalent numeric structure, which may involve linear and non-linear numeric conditions and effects. NEXTFLAP favors the capability of modeling expressive problems; indeed it handles negative and disjunctive preconditions as well as existential and universal expressions. NEXTFLAP can be used as a satisficing planner and as a partial-order plan validator. NEXTFLAP is written completely in C++. NEXTFLAP is a numeric extension of TFLAP planner, and uses the Z3 Theorem Prover to check the numeric constraints and ensure consistency of plans.

Planning approaches of UP supported

Classical, Numeric and Temporal Planning

Partial-Order Plan Validator

Operative modes of UP currently supported

One shot planning Plan Validator

CHANGELOG

No CHANGELOG found.

Package Dependencies

Deps	Name
	ament_cmake
	ament_lint_auto
	ament_lint_common
	cx_z3_vendor

System Dependencies

No direct system dependencies.

Dependant Packages

No known dependants.

Launch files

No launch files found

Messages

No message files found.

Services

No service files found

Plugins

No plugins found.

Recent questions tagged `cx_up_nextflap` at Robotics Stack Exchange

cx_up_nextflap package from clips_executive repo

clips_executive cx_bringup cx_clips_env_manager cx_msgs cx_plugin cx_ament_index_plugin cx_config_plugin cx_example_plugin cx_executive_plugin cx_file_load_plugin cx_protobuf_plugin cx_ros_msgs_plugin cx_ros_param_plugin cx_tf2_pose_tracker_plugin cx_ros_comm_gen cx_tutorial_agents cx_utils cx_pddl_bringup cx_pddl_clips cx_pddl_manager cx_pddl_msgs cx_up_nextflap cx_z3_vendor cx_rl_clips cx_rl_gym cx_rl_interfaces cx_rl_multi_robot_mppo

ROS Distro
kilted

Package Summary

Version	0.0.0
License	Apache-2.0
Build type	AMENT_CMAKE
Use	RECOMMENDED

Repository Summary

Checkout URI	https://github.com/carologistics/clips_executive.git
VCS Type	git
VCS Version	master
Last Updated	2026-01-07
Dev Status	MAINTAINED
Released	RELEASED
Contributing	Help Wanted (-) Good First Issues (-) Pull Requests to Review (-)

Package Description

NEXTFLAP temporal planner integrated into Unified Planning.

Maintainers

Tarik Viehmann

Authors

Vercher Oscar Sapena Vercher

cx_up_nextflap

This wraps the temporal and numeric planner NEXTFLAP and it’s integration into the unified planning framework for easy deployment in ROS (source).

NEXTFLAP utilizes SMT solving via th z3 theorem prover. This wrapper is accompanied by the cx_z3_vendor package, which bundles a version that should work well with NEXTFLAP.

The both the original project and this one are licensed under Apache-2.0 license.

Original Description

This is the NEXTFLAP UP integrator. NEXTFLAP is an expressive temporal and numeric planner supporting planning problems involving Boolean and numeric state variables, instantaneous and durative actions. A distinctive feature of NEXTFLAP is the ability to reason over problems with a prevalent numeric structure, which may involve linear and non-linear numeric conditions and effects. NEXTFLAP favors the capability of modeling expressive problems; indeed it handles negative and disjunctive preconditions as well as existential and universal expressions. NEXTFLAP can be used as a satisficing planner and as a partial-order plan validator. NEXTFLAP is written completely in C++. NEXTFLAP is a numeric extension of TFLAP planner, and uses the Z3 Theorem Prover to check the numeric constraints and ensure consistency of plans.

Planning approaches of UP supported

Classical, Numeric and Temporal Planning

Partial-Order Plan Validator

Operative modes of UP currently supported

One shot planning Plan Validator

CHANGELOG

No CHANGELOG found.

Package Dependencies

Deps	Name
	ament_cmake
	ament_lint_auto
	ament_lint_common
	cx_z3_vendor

System Dependencies

No direct system dependencies.

Dependant Packages

No known dependants.

Launch files

No launch files found

Messages

No message files found.

Services

No service files found

Plugins

No plugins found.

Recent questions tagged `cx_up_nextflap` at Robotics Stack Exchange

cx_up_nextflap package from clips_executive repo

clips_executive cx_bringup cx_clips_env_manager cx_msgs cx_plugin cx_ament_index_plugin cx_config_plugin cx_example_plugin cx_executive_plugin cx_file_load_plugin cx_protobuf_plugin cx_ros_msgs_plugin cx_ros_param_plugin cx_tf2_pose_tracker_plugin cx_ros_comm_gen cx_tutorial_agents cx_utils cx_pddl_bringup cx_pddl_clips cx_pddl_manager cx_pddl_msgs cx_up_nextflap cx_z3_vendor cx_rl_clips cx_rl_gym cx_rl_interfaces cx_rl_multi_robot_mppo

ROS Distro
rolling

Package Summary

Version	0.0.0
License	Apache-2.0
Build type	AMENT_CMAKE
Use	RECOMMENDED

Repository Summary

Checkout URI	https://github.com/carologistics/clips_executive.git
VCS Type	git
VCS Version	master
Last Updated	2026-01-07
Dev Status	MAINTAINED
Released	RELEASED
Contributing	Help Wanted (-) Good First Issues (-) Pull Requests to Review (-)

Package Description

NEXTFLAP temporal planner integrated into Unified Planning.

Maintainers

Tarik Viehmann

Authors

Vercher Oscar Sapena Vercher

cx_up_nextflap

This wraps the temporal and numeric planner NEXTFLAP and it’s integration into the unified planning framework for easy deployment in ROS (source).

NEXTFLAP utilizes SMT solving via th z3 theorem prover. This wrapper is accompanied by the cx_z3_vendor package, which bundles a version that should work well with NEXTFLAP.

The both the original project and this one are licensed under Apache-2.0 license.

Original Description

This is the NEXTFLAP UP integrator. NEXTFLAP is an expressive temporal and numeric planner supporting planning problems involving Boolean and numeric state variables, instantaneous and durative actions. A distinctive feature of NEXTFLAP is the ability to reason over problems with a prevalent numeric structure, which may involve linear and non-linear numeric conditions and effects. NEXTFLAP favors the capability of modeling expressive problems; indeed it handles negative and disjunctive preconditions as well as existential and universal expressions. NEXTFLAP can be used as a satisficing planner and as a partial-order plan validator. NEXTFLAP is written completely in C++. NEXTFLAP is a numeric extension of TFLAP planner, and uses the Z3 Theorem Prover to check the numeric constraints and ensure consistency of plans.

Planning approaches of UP supported

Classical, Numeric and Temporal Planning

Partial-Order Plan Validator

Operative modes of UP currently supported

One shot planning Plan Validator

CHANGELOG

No CHANGELOG found.

Package Dependencies

Deps	Name
	ament_cmake
	ament_lint_auto
	ament_lint_common
	cx_z3_vendor

System Dependencies

No direct system dependencies.

Dependant Packages

No known dependants.

Launch files

No launch files found

Messages

No message files found.

Services

No service files found

Plugins

No plugins found.

Recent questions tagged `cx_up_nextflap` at Robotics Stack Exchange

No version for distro ardent showing jazzy. Known supported distros are highlighted in the buttons above.

cx_up_nextflap package from clips_executive repo

clips_executive cx_bringup cx_clips_env_manager cx_msgs cx_plugin cx_ament_index_plugin cx_config_plugin cx_example_plugin cx_executive_plugin cx_file_load_plugin cx_protobuf_plugin cx_ros_msgs_plugin cx_ros_param_plugin cx_tf2_pose_tracker_plugin cx_ros_comm_gen cx_tutorial_agents cx_utils cx_pddl_bringup cx_pddl_clips cx_pddl_manager cx_pddl_msgs cx_up_nextflap cx_z3_vendor cx_rl_clips cx_rl_gym cx_rl_interfaces cx_rl_multi_robot_mppo

ROS Distro
jazzy

Package Summary

Version	0.0.0
License	Apache-2.0
Build type	AMENT_CMAKE
Use	RECOMMENDED

Repository Summary

Checkout URI	https://github.com/carologistics/clips_executive.git
VCS Type	git
VCS Version	master
Last Updated	2026-01-07
Dev Status	MAINTAINED
Released	RELEASED
Contributing	Help Wanted (-) Good First Issues (-) Pull Requests to Review (-)

Package Description

NEXTFLAP temporal planner integrated into Unified Planning.

Maintainers

Tarik Viehmann

Authors

Vercher Oscar Sapena Vercher

cx_up_nextflap

This wraps the temporal and numeric planner NEXTFLAP and it’s integration into the unified planning framework for easy deployment in ROS (source).

NEXTFLAP utilizes SMT solving via th z3 theorem prover. This wrapper is accompanied by the cx_z3_vendor package, which bundles a version that should work well with NEXTFLAP.

The both the original project and this one are licensed under Apache-2.0 license.

Original Description

This is the NEXTFLAP UP integrator. NEXTFLAP is an expressive temporal and numeric planner supporting planning problems involving Boolean and numeric state variables, instantaneous and durative actions. A distinctive feature of NEXTFLAP is the ability to reason over problems with a prevalent numeric structure, which may involve linear and non-linear numeric conditions and effects. NEXTFLAP favors the capability of modeling expressive problems; indeed it handles negative and disjunctive preconditions as well as existential and universal expressions. NEXTFLAP can be used as a satisficing planner and as a partial-order plan validator. NEXTFLAP is written completely in C++. NEXTFLAP is a numeric extension of TFLAP planner, and uses the Z3 Theorem Prover to check the numeric constraints and ensure consistency of plans.

Planning approaches of UP supported

Classical, Numeric and Temporal Planning

Partial-Order Plan Validator

Operative modes of UP currently supported

One shot planning Plan Validator

CHANGELOG

No CHANGELOG found.

Package Dependencies

Deps	Name
	ament_cmake
	ament_lint_auto
	ament_lint_common
	cx_z3_vendor

System Dependencies

No direct system dependencies.

Dependant Packages

No known dependants.

Launch files

No launch files found

Messages

No message files found.

Services

No service files found

Plugins

No plugins found.

Recent questions tagged `cx_up_nextflap` at Robotics Stack Exchange

No version for distro bouncy showing jazzy. Known supported distros are highlighted in the buttons above.

cx_up_nextflap package from clips_executive repo

clips_executive cx_bringup cx_clips_env_manager cx_msgs cx_plugin cx_ament_index_plugin cx_config_plugin cx_example_plugin cx_executive_plugin cx_file_load_plugin cx_protobuf_plugin cx_ros_msgs_plugin cx_ros_param_plugin cx_tf2_pose_tracker_plugin cx_ros_comm_gen cx_tutorial_agents cx_utils cx_pddl_bringup cx_pddl_clips cx_pddl_manager cx_pddl_msgs cx_up_nextflap cx_z3_vendor cx_rl_clips cx_rl_gym cx_rl_interfaces cx_rl_multi_robot_mppo

ROS Distro
jazzy

Package Summary

Version	0.0.0
License	Apache-2.0
Build type	AMENT_CMAKE
Use	RECOMMENDED

Repository Summary

Checkout URI	https://github.com/carologistics/clips_executive.git
VCS Type	git
VCS Version	master
Last Updated	2026-01-07
Dev Status	MAINTAINED
Released	RELEASED
Contributing	Help Wanted (-) Good First Issues (-) Pull Requests to Review (-)

Package Description

NEXTFLAP temporal planner integrated into Unified Planning.

Maintainers

Tarik Viehmann

Authors

Vercher Oscar Sapena Vercher

cx_up_nextflap

This wraps the temporal and numeric planner NEXTFLAP and it’s integration into the unified planning framework for easy deployment in ROS (source).

NEXTFLAP utilizes SMT solving via th z3 theorem prover. This wrapper is accompanied by the cx_z3_vendor package, which bundles a version that should work well with NEXTFLAP.

The both the original project and this one are licensed under Apache-2.0 license.

Original Description

This is the NEXTFLAP UP integrator. NEXTFLAP is an expressive temporal and numeric planner supporting planning problems involving Boolean and numeric state variables, instantaneous and durative actions. A distinctive feature of NEXTFLAP is the ability to reason over problems with a prevalent numeric structure, which may involve linear and non-linear numeric conditions and effects. NEXTFLAP favors the capability of modeling expressive problems; indeed it handles negative and disjunctive preconditions as well as existential and universal expressions. NEXTFLAP can be used as a satisficing planner and as a partial-order plan validator. NEXTFLAP is written completely in C++. NEXTFLAP is a numeric extension of TFLAP planner, and uses the Z3 Theorem Prover to check the numeric constraints and ensure consistency of plans.

Planning approaches of UP supported

Classical, Numeric and Temporal Planning

Partial-Order Plan Validator

Operative modes of UP currently supported

One shot planning Plan Validator

CHANGELOG

No CHANGELOG found.

Package Dependencies

Deps	Name
	ament_cmake
	ament_lint_auto
	ament_lint_common
	cx_z3_vendor

System Dependencies

No direct system dependencies.

Dependant Packages

No known dependants.

Launch files

No launch files found

Messages

No message files found.

Services

No service files found

Plugins

No plugins found.

Recent questions tagged `cx_up_nextflap` at Robotics Stack Exchange

No version for distro crystal showing jazzy. Known supported distros are highlighted in the buttons above.

cx_up_nextflap package from clips_executive repo

clips_executive cx_bringup cx_clips_env_manager cx_msgs cx_plugin cx_ament_index_plugin cx_config_plugin cx_example_plugin cx_executive_plugin cx_file_load_plugin cx_protobuf_plugin cx_ros_msgs_plugin cx_ros_param_plugin cx_tf2_pose_tracker_plugin cx_ros_comm_gen cx_tutorial_agents cx_utils cx_pddl_bringup cx_pddl_clips cx_pddl_manager cx_pddl_msgs cx_up_nextflap cx_z3_vendor cx_rl_clips cx_rl_gym cx_rl_interfaces cx_rl_multi_robot_mppo

ROS Distro
jazzy

Package Summary

Version	0.0.0
License	Apache-2.0
Build type	AMENT_CMAKE
Use	RECOMMENDED

Repository Summary

Checkout URI	https://github.com/carologistics/clips_executive.git
VCS Type	git
VCS Version	master
Last Updated	2026-01-07
Dev Status	MAINTAINED
Released	RELEASED
Contributing	Help Wanted (-) Good First Issues (-) Pull Requests to Review (-)

Package Description

NEXTFLAP temporal planner integrated into Unified Planning.

Maintainers

Tarik Viehmann

Authors

Vercher Oscar Sapena Vercher

cx_up_nextflap

This wraps the temporal and numeric planner NEXTFLAP and it’s integration into the unified planning framework for easy deployment in ROS (source).

NEXTFLAP utilizes SMT solving via th z3 theorem prover. This wrapper is accompanied by the cx_z3_vendor package, which bundles a version that should work well with NEXTFLAP.

The both the original project and this one are licensed under Apache-2.0 license.

Original Description

This is the NEXTFLAP UP integrator. NEXTFLAP is an expressive temporal and numeric planner supporting planning problems involving Boolean and numeric state variables, instantaneous and durative actions. A distinctive feature of NEXTFLAP is the ability to reason over problems with a prevalent numeric structure, which may involve linear and non-linear numeric conditions and effects. NEXTFLAP favors the capability of modeling expressive problems; indeed it handles negative and disjunctive preconditions as well as existential and universal expressions. NEXTFLAP can be used as a satisficing planner and as a partial-order plan validator. NEXTFLAP is written completely in C++. NEXTFLAP is a numeric extension of TFLAP planner, and uses the Z3 Theorem Prover to check the numeric constraints and ensure consistency of plans.

Planning approaches of UP supported

Classical, Numeric and Temporal Planning

Partial-Order Plan Validator

Operative modes of UP currently supported

One shot planning Plan Validator

CHANGELOG

No CHANGELOG found.

Package Dependencies

Deps	Name
	ament_cmake
	ament_lint_auto
	ament_lint_common
	cx_z3_vendor

System Dependencies

No direct system dependencies.

Dependant Packages

No known dependants.

Launch files

No launch files found

Messages

No message files found.

Services

No service files found

Plugins

No plugins found.

Recent questions tagged `cx_up_nextflap` at Robotics Stack Exchange

No version for distro eloquent showing jazzy. Known supported distros are highlighted in the buttons above.

cx_up_nextflap package from clips_executive repo

clips_executive cx_bringup cx_clips_env_manager cx_msgs cx_plugin cx_ament_index_plugin cx_config_plugin cx_example_plugin cx_executive_plugin cx_file_load_plugin cx_protobuf_plugin cx_ros_msgs_plugin cx_ros_param_plugin cx_tf2_pose_tracker_plugin cx_ros_comm_gen cx_tutorial_agents cx_utils cx_pddl_bringup cx_pddl_clips cx_pddl_manager cx_pddl_msgs cx_up_nextflap cx_z3_vendor cx_rl_clips cx_rl_gym cx_rl_interfaces cx_rl_multi_robot_mppo

ROS Distro
jazzy

Package Summary

Version	0.0.0
License	Apache-2.0
Build type	AMENT_CMAKE
Use	RECOMMENDED

Repository Summary

Checkout URI	https://github.com/carologistics/clips_executive.git
VCS Type	git
VCS Version	master
Last Updated	2026-01-07
Dev Status	MAINTAINED
Released	RELEASED
Contributing	Help Wanted (-) Good First Issues (-) Pull Requests to Review (-)

Package Description

NEXTFLAP temporal planner integrated into Unified Planning.

Maintainers

Tarik Viehmann

Authors

Vercher Oscar Sapena Vercher

cx_up_nextflap

This wraps the temporal and numeric planner NEXTFLAP and it’s integration into the unified planning framework for easy deployment in ROS (source).

NEXTFLAP utilizes SMT solving via th z3 theorem prover. This wrapper is accompanied by the cx_z3_vendor package, which bundles a version that should work well with NEXTFLAP.

The both the original project and this one are licensed under Apache-2.0 license.

Original Description

This is the NEXTFLAP UP integrator. NEXTFLAP is an expressive temporal and numeric planner supporting planning problems involving Boolean and numeric state variables, instantaneous and durative actions. A distinctive feature of NEXTFLAP is the ability to reason over problems with a prevalent numeric structure, which may involve linear and non-linear numeric conditions and effects. NEXTFLAP favors the capability of modeling expressive problems; indeed it handles negative and disjunctive preconditions as well as existential and universal expressions. NEXTFLAP can be used as a satisficing planner and as a partial-order plan validator. NEXTFLAP is written completely in C++. NEXTFLAP is a numeric extension of TFLAP planner, and uses the Z3 Theorem Prover to check the numeric constraints and ensure consistency of plans.

Planning approaches of UP supported

Classical, Numeric and Temporal Planning

Partial-Order Plan Validator

Operative modes of UP currently supported

One shot planning Plan Validator

CHANGELOG

No CHANGELOG found.

Package Dependencies

Deps	Name
	ament_cmake
	ament_lint_auto
	ament_lint_common
	cx_z3_vendor

System Dependencies

No direct system dependencies.

Dependant Packages

No known dependants.

Launch files

No launch files found

Messages

No message files found.

Services

No service files found

Plugins

No plugins found.

Recent questions tagged `cx_up_nextflap` at Robotics Stack Exchange

No version for distro dashing showing jazzy. Known supported distros are highlighted in the buttons above.

cx_up_nextflap package from clips_executive repo

clips_executive cx_bringup cx_clips_env_manager cx_msgs cx_plugin cx_ament_index_plugin cx_config_plugin cx_example_plugin cx_executive_plugin cx_file_load_plugin cx_protobuf_plugin cx_ros_msgs_plugin cx_ros_param_plugin cx_tf2_pose_tracker_plugin cx_ros_comm_gen cx_tutorial_agents cx_utils cx_pddl_bringup cx_pddl_clips cx_pddl_manager cx_pddl_msgs cx_up_nextflap cx_z3_vendor cx_rl_clips cx_rl_gym cx_rl_interfaces cx_rl_multi_robot_mppo

ROS Distro
jazzy

Package Summary

Version	0.0.0
License	Apache-2.0
Build type	AMENT_CMAKE
Use	RECOMMENDED

Repository Summary

Checkout URI	https://github.com/carologistics/clips_executive.git
VCS Type	git
VCS Version	master
Last Updated	2026-01-07
Dev Status	MAINTAINED
Released	RELEASED
Contributing	Help Wanted (-) Good First Issues (-) Pull Requests to Review (-)

Package Description

NEXTFLAP temporal planner integrated into Unified Planning.

Maintainers

Tarik Viehmann

Authors

Vercher Oscar Sapena Vercher

cx_up_nextflap

This wraps the temporal and numeric planner NEXTFLAP and it’s integration into the unified planning framework for easy deployment in ROS (source).

NEXTFLAP utilizes SMT solving via th z3 theorem prover. This wrapper is accompanied by the cx_z3_vendor package, which bundles a version that should work well with NEXTFLAP.

The both the original project and this one are licensed under Apache-2.0 license.

Original Description

This is the NEXTFLAP UP integrator. NEXTFLAP is an expressive temporal and numeric planner supporting planning problems involving Boolean and numeric state variables, instantaneous and durative actions. A distinctive feature of NEXTFLAP is the ability to reason over problems with a prevalent numeric structure, which may involve linear and non-linear numeric conditions and effects. NEXTFLAP favors the capability of modeling expressive problems; indeed it handles negative and disjunctive preconditions as well as existential and universal expressions. NEXTFLAP can be used as a satisficing planner and as a partial-order plan validator. NEXTFLAP is written completely in C++. NEXTFLAP is a numeric extension of TFLAP planner, and uses the Z3 Theorem Prover to check the numeric constraints and ensure consistency of plans.

Planning approaches of UP supported

Classical, Numeric and Temporal Planning

Partial-Order Plan Validator

Operative modes of UP currently supported

One shot planning Plan Validator

CHANGELOG

No CHANGELOG found.

Package Dependencies

Deps	Name
	ament_cmake
	ament_lint_auto
	ament_lint_common
	cx_z3_vendor

System Dependencies

No direct system dependencies.

Dependant Packages

No known dependants.

Launch files

No launch files found

Messages

No message files found.

Services

No service files found

Plugins

No plugins found.

Recent questions tagged `cx_up_nextflap` at Robotics Stack Exchange

No version for distro galactic showing jazzy. Known supported distros are highlighted in the buttons above.

cx_up_nextflap package from clips_executive repo

clips_executive cx_bringup cx_clips_env_manager cx_msgs cx_plugin cx_ament_index_plugin cx_config_plugin cx_example_plugin cx_executive_plugin cx_file_load_plugin cx_protobuf_plugin cx_ros_msgs_plugin cx_ros_param_plugin cx_tf2_pose_tracker_plugin cx_ros_comm_gen cx_tutorial_agents cx_utils cx_pddl_bringup cx_pddl_clips cx_pddl_manager cx_pddl_msgs cx_up_nextflap cx_z3_vendor cx_rl_clips cx_rl_gym cx_rl_interfaces cx_rl_multi_robot_mppo

ROS Distro
jazzy

Package Summary

Version	0.0.0
License	Apache-2.0
Build type	AMENT_CMAKE
Use	RECOMMENDED

Repository Summary

Checkout URI	https://github.com/carologistics/clips_executive.git
VCS Type	git
VCS Version	master
Last Updated	2026-01-07
Dev Status	MAINTAINED
Released	RELEASED
Contributing	Help Wanted (-) Good First Issues (-) Pull Requests to Review (-)

Package Description

NEXTFLAP temporal planner integrated into Unified Planning.

Maintainers

Tarik Viehmann

Authors

Vercher Oscar Sapena Vercher

cx_up_nextflap

This wraps the temporal and numeric planner NEXTFLAP and it’s integration into the unified planning framework for easy deployment in ROS (source).

NEXTFLAP utilizes SMT solving via th z3 theorem prover. This wrapper is accompanied by the cx_z3_vendor package, which bundles a version that should work well with NEXTFLAP.

The both the original project and this one are licensed under Apache-2.0 license.

Original Description

This is the NEXTFLAP UP integrator. NEXTFLAP is an expressive temporal and numeric planner supporting planning problems involving Boolean and numeric state variables, instantaneous and durative actions. A distinctive feature of NEXTFLAP is the ability to reason over problems with a prevalent numeric structure, which may involve linear and non-linear numeric conditions and effects. NEXTFLAP favors the capability of modeling expressive problems; indeed it handles negative and disjunctive preconditions as well as existential and universal expressions. NEXTFLAP can be used as a satisficing planner and as a partial-order plan validator. NEXTFLAP is written completely in C++. NEXTFLAP is a numeric extension of TFLAP planner, and uses the Z3 Theorem Prover to check the numeric constraints and ensure consistency of plans.

Planning approaches of UP supported

Classical, Numeric and Temporal Planning

Partial-Order Plan Validator

Operative modes of UP currently supported

One shot planning Plan Validator

CHANGELOG

No CHANGELOG found.

Package Dependencies

Deps	Name
	ament_cmake
	ament_lint_auto
	ament_lint_common
	cx_z3_vendor

System Dependencies

No direct system dependencies.

Dependant Packages

No known dependants.

Launch files

No launch files found

Messages

No message files found.

Services

No service files found

Plugins

No plugins found.

Recent questions tagged `cx_up_nextflap` at Robotics Stack Exchange

No version for distro foxy showing jazzy. Known supported distros are highlighted in the buttons above.

cx_up_nextflap package from clips_executive repo

clips_executive cx_bringup cx_clips_env_manager cx_msgs cx_plugin cx_ament_index_plugin cx_config_plugin cx_example_plugin cx_executive_plugin cx_file_load_plugin cx_protobuf_plugin cx_ros_msgs_plugin cx_ros_param_plugin cx_tf2_pose_tracker_plugin cx_ros_comm_gen cx_tutorial_agents cx_utils cx_pddl_bringup cx_pddl_clips cx_pddl_manager cx_pddl_msgs cx_up_nextflap cx_z3_vendor cx_rl_clips cx_rl_gym cx_rl_interfaces cx_rl_multi_robot_mppo

ROS Distro
jazzy

Package Summary

Version	0.0.0
License	Apache-2.0
Build type	AMENT_CMAKE
Use	RECOMMENDED

Repository Summary

Checkout URI	https://github.com/carologistics/clips_executive.git
VCS Type	git
VCS Version	master
Last Updated	2026-01-07
Dev Status	MAINTAINED
Released	RELEASED
Contributing	Help Wanted (-) Good First Issues (-) Pull Requests to Review (-)

Package Description

NEXTFLAP temporal planner integrated into Unified Planning.

Maintainers

Tarik Viehmann

Authors

Vercher Oscar Sapena Vercher

cx_up_nextflap

This wraps the temporal and numeric planner NEXTFLAP and it’s integration into the unified planning framework for easy deployment in ROS (source).

NEXTFLAP utilizes SMT solving via th z3 theorem prover. This wrapper is accompanied by the cx_z3_vendor package, which bundles a version that should work well with NEXTFLAP.

The both the original project and this one are licensed under Apache-2.0 license.

Original Description

This is the NEXTFLAP UP integrator. NEXTFLAP is an expressive temporal and numeric planner supporting planning problems involving Boolean and numeric state variables, instantaneous and durative actions. A distinctive feature of NEXTFLAP is the ability to reason over problems with a prevalent numeric structure, which may involve linear and non-linear numeric conditions and effects. NEXTFLAP favors the capability of modeling expressive problems; indeed it handles negative and disjunctive preconditions as well as existential and universal expressions. NEXTFLAP can be used as a satisficing planner and as a partial-order plan validator. NEXTFLAP is written completely in C++. NEXTFLAP is a numeric extension of TFLAP planner, and uses the Z3 Theorem Prover to check the numeric constraints and ensure consistency of plans.

Planning approaches of UP supported

Classical, Numeric and Temporal Planning

Partial-Order Plan Validator

Operative modes of UP currently supported

One shot planning Plan Validator

CHANGELOG

No CHANGELOG found.

Package Dependencies

Deps	Name
	ament_cmake
	ament_lint_auto
	ament_lint_common
	cx_z3_vendor

System Dependencies

No direct system dependencies.

Dependant Packages

No known dependants.

Launch files

No launch files found

Messages

No message files found.

Services

No service files found

Plugins

No plugins found.

Recent questions tagged `cx_up_nextflap` at Robotics Stack Exchange

No version for distro iron showing jazzy. Known supported distros are highlighted in the buttons above.

cx_up_nextflap package from clips_executive repo

clips_executive cx_bringup cx_clips_env_manager cx_msgs cx_plugin cx_ament_index_plugin cx_config_plugin cx_example_plugin cx_executive_plugin cx_file_load_plugin cx_protobuf_plugin cx_ros_msgs_plugin cx_ros_param_plugin cx_tf2_pose_tracker_plugin cx_ros_comm_gen cx_tutorial_agents cx_utils cx_pddl_bringup cx_pddl_clips cx_pddl_manager cx_pddl_msgs cx_up_nextflap cx_z3_vendor cx_rl_clips cx_rl_gym cx_rl_interfaces cx_rl_multi_robot_mppo

ROS Distro
jazzy

Package Summary

Version	0.0.0
License	Apache-2.0
Build type	AMENT_CMAKE
Use	RECOMMENDED

Repository Summary

Checkout URI	https://github.com/carologistics/clips_executive.git
VCS Type	git
VCS Version	master
Last Updated	2026-01-07
Dev Status	MAINTAINED
Released	RELEASED
Contributing	Help Wanted (-) Good First Issues (-) Pull Requests to Review (-)

Package Description

NEXTFLAP temporal planner integrated into Unified Planning.

Maintainers

Tarik Viehmann

Authors

Vercher Oscar Sapena Vercher

cx_up_nextflap

This wraps the temporal and numeric planner NEXTFLAP and it’s integration into the unified planning framework for easy deployment in ROS (source).

NEXTFLAP utilizes SMT solving via th z3 theorem prover. This wrapper is accompanied by the cx_z3_vendor package, which bundles a version that should work well with NEXTFLAP.

The both the original project and this one are licensed under Apache-2.0 license.

Original Description

This is the NEXTFLAP UP integrator. NEXTFLAP is an expressive temporal and numeric planner supporting planning problems involving Boolean and numeric state variables, instantaneous and durative actions. A distinctive feature of NEXTFLAP is the ability to reason over problems with a prevalent numeric structure, which may involve linear and non-linear numeric conditions and effects. NEXTFLAP favors the capability of modeling expressive problems; indeed it handles negative and disjunctive preconditions as well as existential and universal expressions. NEXTFLAP can be used as a satisficing planner and as a partial-order plan validator. NEXTFLAP is written completely in C++. NEXTFLAP is a numeric extension of TFLAP planner, and uses the Z3 Theorem Prover to check the numeric constraints and ensure consistency of plans.

Planning approaches of UP supported

Classical, Numeric and Temporal Planning

Partial-Order Plan Validator

Operative modes of UP currently supported

One shot planning Plan Validator

CHANGELOG

No CHANGELOG found.

Package Dependencies

Deps	Name
	ament_cmake
	ament_lint_auto
	ament_lint_common
	cx_z3_vendor

System Dependencies

No direct system dependencies.

Dependant Packages

No known dependants.

Launch files

No launch files found

Messages

No message files found.

Services

No service files found

Plugins

No plugins found.

Recent questions tagged `cx_up_nextflap` at Robotics Stack Exchange

No version for distro lunar showing jazzy. Known supported distros are highlighted in the buttons above.

cx_up_nextflap package from clips_executive repo

clips_executive cx_bringup cx_clips_env_manager cx_msgs cx_plugin cx_ament_index_plugin cx_config_plugin cx_example_plugin cx_executive_plugin cx_file_load_plugin cx_protobuf_plugin cx_ros_msgs_plugin cx_ros_param_plugin cx_tf2_pose_tracker_plugin cx_ros_comm_gen cx_tutorial_agents cx_utils cx_pddl_bringup cx_pddl_clips cx_pddl_manager cx_pddl_msgs cx_up_nextflap cx_z3_vendor cx_rl_clips cx_rl_gym cx_rl_interfaces cx_rl_multi_robot_mppo

ROS Distro
jazzy

Package Summary

Version	0.0.0
License	Apache-2.0
Build type	AMENT_CMAKE
Use	RECOMMENDED

Repository Summary

Checkout URI	https://github.com/carologistics/clips_executive.git
VCS Type	git
VCS Version	master
Last Updated	2026-01-07
Dev Status	MAINTAINED
Released	RELEASED
Contributing	Help Wanted (-) Good First Issues (-) Pull Requests to Review (-)

Package Description

NEXTFLAP temporal planner integrated into Unified Planning.

Maintainers

Tarik Viehmann

Authors

Vercher Oscar Sapena Vercher

cx_up_nextflap

This wraps the temporal and numeric planner NEXTFLAP and it’s integration into the unified planning framework for easy deployment in ROS (source).

NEXTFLAP utilizes SMT solving via th z3 theorem prover. This wrapper is accompanied by the cx_z3_vendor package, which bundles a version that should work well with NEXTFLAP.

The both the original project and this one are licensed under Apache-2.0 license.

Original Description

This is the NEXTFLAP UP integrator. NEXTFLAP is an expressive temporal and numeric planner supporting planning problems involving Boolean and numeric state variables, instantaneous and durative actions. A distinctive feature of NEXTFLAP is the ability to reason over problems with a prevalent numeric structure, which may involve linear and non-linear numeric conditions and effects. NEXTFLAP favors the capability of modeling expressive problems; indeed it handles negative and disjunctive preconditions as well as existential and universal expressions. NEXTFLAP can be used as a satisficing planner and as a partial-order plan validator. NEXTFLAP is written completely in C++. NEXTFLAP is a numeric extension of TFLAP planner, and uses the Z3 Theorem Prover to check the numeric constraints and ensure consistency of plans.

Planning approaches of UP supported

Classical, Numeric and Temporal Planning

Partial-Order Plan Validator

Operative modes of UP currently supported

One shot planning Plan Validator

CHANGELOG

No CHANGELOG found.

Package Dependencies

Deps	Name
	ament_cmake
	ament_lint_auto
	ament_lint_common
	cx_z3_vendor

System Dependencies

No direct system dependencies.

Dependant Packages

No known dependants.

Launch files

No launch files found

Messages

No message files found.

Services

No service files found

Plugins

No plugins found.

Recent questions tagged `cx_up_nextflap` at Robotics Stack Exchange

No version for distro jade showing jazzy. Known supported distros are highlighted in the buttons above.

cx_up_nextflap package from clips_executive repo

clips_executive cx_bringup cx_clips_env_manager cx_msgs cx_plugin cx_ament_index_plugin cx_config_plugin cx_example_plugin cx_executive_plugin cx_file_load_plugin cx_protobuf_plugin cx_ros_msgs_plugin cx_ros_param_plugin cx_tf2_pose_tracker_plugin cx_ros_comm_gen cx_tutorial_agents cx_utils cx_pddl_bringup cx_pddl_clips cx_pddl_manager cx_pddl_msgs cx_up_nextflap cx_z3_vendor cx_rl_clips cx_rl_gym cx_rl_interfaces cx_rl_multi_robot_mppo

ROS Distro
jazzy

Package Summary

Version	0.0.0
License	Apache-2.0
Build type	AMENT_CMAKE
Use	RECOMMENDED

Repository Summary

Checkout URI	https://github.com/carologistics/clips_executive.git
VCS Type	git
VCS Version	master
Last Updated	2026-01-07
Dev Status	MAINTAINED
Released	RELEASED
Contributing	Help Wanted (-) Good First Issues (-) Pull Requests to Review (-)

Package Description

NEXTFLAP temporal planner integrated into Unified Planning.

Maintainers

Tarik Viehmann

Authors

Vercher Oscar Sapena Vercher

cx_up_nextflap

This wraps the temporal and numeric planner NEXTFLAP and it’s integration into the unified planning framework for easy deployment in ROS (source).

NEXTFLAP utilizes SMT solving via th z3 theorem prover. This wrapper is accompanied by the cx_z3_vendor package, which bundles a version that should work well with NEXTFLAP.

The both the original project and this one are licensed under Apache-2.0 license.

Original Description

This is the NEXTFLAP UP integrator. NEXTFLAP is an expressive temporal and numeric planner supporting planning problems involving Boolean and numeric state variables, instantaneous and durative actions. A distinctive feature of NEXTFLAP is the ability to reason over problems with a prevalent numeric structure, which may involve linear and non-linear numeric conditions and effects. NEXTFLAP favors the capability of modeling expressive problems; indeed it handles negative and disjunctive preconditions as well as existential and universal expressions. NEXTFLAP can be used as a satisficing planner and as a partial-order plan validator. NEXTFLAP is written completely in C++. NEXTFLAP is a numeric extension of TFLAP planner, and uses the Z3 Theorem Prover to check the numeric constraints and ensure consistency of plans.

Planning approaches of UP supported

Classical, Numeric and Temporal Planning

Partial-Order Plan Validator

Operative modes of UP currently supported

One shot planning Plan Validator

CHANGELOG

No CHANGELOG found.

Package Dependencies

Deps	Name
	ament_cmake
	ament_lint_auto
	ament_lint_common
	cx_z3_vendor

System Dependencies

No direct system dependencies.

Dependant Packages

No known dependants.

Launch files

No launch files found

Messages

No message files found.

Services

No service files found

Plugins

No plugins found.

Recent questions tagged `cx_up_nextflap` at Robotics Stack Exchange

No version for distro indigo showing jazzy. Known supported distros are highlighted in the buttons above.

cx_up_nextflap package from clips_executive repo

clips_executive cx_bringup cx_clips_env_manager cx_msgs cx_plugin cx_ament_index_plugin cx_config_plugin cx_example_plugin cx_executive_plugin cx_file_load_plugin cx_protobuf_plugin cx_ros_msgs_plugin cx_ros_param_plugin cx_tf2_pose_tracker_plugin cx_ros_comm_gen cx_tutorial_agents cx_utils cx_pddl_bringup cx_pddl_clips cx_pddl_manager cx_pddl_msgs cx_up_nextflap cx_z3_vendor cx_rl_clips cx_rl_gym cx_rl_interfaces cx_rl_multi_robot_mppo

ROS Distro
jazzy

Package Summary

Version	0.0.0
License	Apache-2.0
Build type	AMENT_CMAKE
Use	RECOMMENDED

Repository Summary

Checkout URI	https://github.com/carologistics/clips_executive.git
VCS Type	git
VCS Version	master
Last Updated	2026-01-07
Dev Status	MAINTAINED
Released	RELEASED
Contributing	Help Wanted (-) Good First Issues (-) Pull Requests to Review (-)

Package Description

NEXTFLAP temporal planner integrated into Unified Planning.

Maintainers

Tarik Viehmann

Authors

Vercher Oscar Sapena Vercher

cx_up_nextflap

This wraps the temporal and numeric planner NEXTFLAP and it’s integration into the unified planning framework for easy deployment in ROS (source).

NEXTFLAP utilizes SMT solving via th z3 theorem prover. This wrapper is accompanied by the cx_z3_vendor package, which bundles a version that should work well with NEXTFLAP.

The both the original project and this one are licensed under Apache-2.0 license.

Original Description

This is the NEXTFLAP UP integrator. NEXTFLAP is an expressive temporal and numeric planner supporting planning problems involving Boolean and numeric state variables, instantaneous and durative actions. A distinctive feature of NEXTFLAP is the ability to reason over problems with a prevalent numeric structure, which may involve linear and non-linear numeric conditions and effects. NEXTFLAP favors the capability of modeling expressive problems; indeed it handles negative and disjunctive preconditions as well as existential and universal expressions. NEXTFLAP can be used as a satisficing planner and as a partial-order plan validator. NEXTFLAP is written completely in C++. NEXTFLAP is a numeric extension of TFLAP planner, and uses the Z3 Theorem Prover to check the numeric constraints and ensure consistency of plans.

Planning approaches of UP supported

Classical, Numeric and Temporal Planning

Partial-Order Plan Validator

Operative modes of UP currently supported

One shot planning Plan Validator

CHANGELOG

No CHANGELOG found.

Package Dependencies

Deps	Name
	ament_cmake
	ament_lint_auto
	ament_lint_common
	cx_z3_vendor

System Dependencies

No direct system dependencies.

Dependant Packages

No known dependants.

Launch files

No launch files found

Messages

No message files found.

Services

No service files found

Plugins

No plugins found.

Recent questions tagged `cx_up_nextflap` at Robotics Stack Exchange

No version for distro hydro showing jazzy. Known supported distros are highlighted in the buttons above.

cx_up_nextflap package from clips_executive repo

clips_executive cx_bringup cx_clips_env_manager cx_msgs cx_plugin cx_ament_index_plugin cx_config_plugin cx_example_plugin cx_executive_plugin cx_file_load_plugin cx_protobuf_plugin cx_ros_msgs_plugin cx_ros_param_plugin cx_tf2_pose_tracker_plugin cx_ros_comm_gen cx_tutorial_agents cx_utils cx_pddl_bringup cx_pddl_clips cx_pddl_manager cx_pddl_msgs cx_up_nextflap cx_z3_vendor cx_rl_clips cx_rl_gym cx_rl_interfaces cx_rl_multi_robot_mppo

ROS Distro
jazzy

Package Summary

Version	0.0.0
License	Apache-2.0
Build type	AMENT_CMAKE
Use	RECOMMENDED

Repository Summary

Checkout URI	https://github.com/carologistics/clips_executive.git
VCS Type	git
VCS Version	master
Last Updated	2026-01-07
Dev Status	MAINTAINED
Released	RELEASED
Contributing	Help Wanted (-) Good First Issues (-) Pull Requests to Review (-)

Package Description

NEXTFLAP temporal planner integrated into Unified Planning.

Maintainers

Tarik Viehmann

Authors

Vercher Oscar Sapena Vercher

cx_up_nextflap

This wraps the temporal and numeric planner NEXTFLAP and it’s integration into the unified planning framework for easy deployment in ROS (source).

NEXTFLAP utilizes SMT solving via th z3 theorem prover. This wrapper is accompanied by the cx_z3_vendor package, which bundles a version that should work well with NEXTFLAP.

The both the original project and this one are licensed under Apache-2.0 license.

Original Description

This is the NEXTFLAP UP integrator. NEXTFLAP is an expressive temporal and numeric planner supporting planning problems involving Boolean and numeric state variables, instantaneous and durative actions. A distinctive feature of NEXTFLAP is the ability to reason over problems with a prevalent numeric structure, which may involve linear and non-linear numeric conditions and effects. NEXTFLAP favors the capability of modeling expressive problems; indeed it handles negative and disjunctive preconditions as well as existential and universal expressions. NEXTFLAP can be used as a satisficing planner and as a partial-order plan validator. NEXTFLAP is written completely in C++. NEXTFLAP is a numeric extension of TFLAP planner, and uses the Z3 Theorem Prover to check the numeric constraints and ensure consistency of plans.

Planning approaches of UP supported

Classical, Numeric and Temporal Planning

Partial-Order Plan Validator

Operative modes of UP currently supported

One shot planning Plan Validator

CHANGELOG

No CHANGELOG found.

Package Dependencies

Deps	Name
	ament_cmake
	ament_lint_auto
	ament_lint_common
	cx_z3_vendor

System Dependencies

No direct system dependencies.

Dependant Packages

No known dependants.

Launch files

No launch files found

Messages

No message files found.

Services

No service files found

Plugins

No plugins found.

Recent questions tagged `cx_up_nextflap` at Robotics Stack Exchange

No version for distro kinetic showing jazzy. Known supported distros are highlighted in the buttons above.

cx_up_nextflap package from clips_executive repo

clips_executive cx_bringup cx_clips_env_manager cx_msgs cx_plugin cx_ament_index_plugin cx_config_plugin cx_example_plugin cx_executive_plugin cx_file_load_plugin cx_protobuf_plugin cx_ros_msgs_plugin cx_ros_param_plugin cx_tf2_pose_tracker_plugin cx_ros_comm_gen cx_tutorial_agents cx_utils cx_pddl_bringup cx_pddl_clips cx_pddl_manager cx_pddl_msgs cx_up_nextflap cx_z3_vendor cx_rl_clips cx_rl_gym cx_rl_interfaces cx_rl_multi_robot_mppo

ROS Distro
jazzy

Package Summary

Version	0.0.0
License	Apache-2.0
Build type	AMENT_CMAKE
Use	RECOMMENDED

Repository Summary

Checkout URI	https://github.com/carologistics/clips_executive.git
VCS Type	git
VCS Version	master
Last Updated	2026-01-07
Dev Status	MAINTAINED
Released	RELEASED
Contributing	Help Wanted (-) Good First Issues (-) Pull Requests to Review (-)

Package Description

NEXTFLAP temporal planner integrated into Unified Planning.

Maintainers

Tarik Viehmann

Authors

Vercher Oscar Sapena Vercher

cx_up_nextflap

This wraps the temporal and numeric planner NEXTFLAP and it’s integration into the unified planning framework for easy deployment in ROS (source).

NEXTFLAP utilizes SMT solving via th z3 theorem prover. This wrapper is accompanied by the cx_z3_vendor package, which bundles a version that should work well with NEXTFLAP.

The both the original project and this one are licensed under Apache-2.0 license.

Original Description

This is the NEXTFLAP UP integrator. NEXTFLAP is an expressive temporal and numeric planner supporting planning problems involving Boolean and numeric state variables, instantaneous and durative actions. A distinctive feature of NEXTFLAP is the ability to reason over problems with a prevalent numeric structure, which may involve linear and non-linear numeric conditions and effects. NEXTFLAP favors the capability of modeling expressive problems; indeed it handles negative and disjunctive preconditions as well as existential and universal expressions. NEXTFLAP can be used as a satisficing planner and as a partial-order plan validator. NEXTFLAP is written completely in C++. NEXTFLAP is a numeric extension of TFLAP planner, and uses the Z3 Theorem Prover to check the numeric constraints and ensure consistency of plans.

Planning approaches of UP supported

Classical, Numeric and Temporal Planning

Partial-Order Plan Validator

Operative modes of UP currently supported

One shot planning Plan Validator

CHANGELOG

No CHANGELOG found.

Package Dependencies

Deps	Name
	ament_cmake
	ament_lint_auto
	ament_lint_common
	cx_z3_vendor

System Dependencies

No direct system dependencies.

Dependant Packages

No known dependants.

Launch files

No launch files found

Messages

No message files found.

Services

No service files found

Plugins

No plugins found.

Recent questions tagged `cx_up_nextflap` at Robotics Stack Exchange

No version for distro melodic showing jazzy. Known supported distros are highlighted in the buttons above.

cx_up_nextflap package from clips_executive repo

clips_executive cx_bringup cx_clips_env_manager cx_msgs cx_plugin cx_ament_index_plugin cx_config_plugin cx_example_plugin cx_executive_plugin cx_file_load_plugin cx_protobuf_plugin cx_ros_msgs_plugin cx_ros_param_plugin cx_tf2_pose_tracker_plugin cx_ros_comm_gen cx_tutorial_agents cx_utils cx_pddl_bringup cx_pddl_clips cx_pddl_manager cx_pddl_msgs cx_up_nextflap cx_z3_vendor cx_rl_clips cx_rl_gym cx_rl_interfaces cx_rl_multi_robot_mppo

ROS Distro
jazzy

Package Summary

Version	0.0.0
License	Apache-2.0
Build type	AMENT_CMAKE
Use	RECOMMENDED

Repository Summary

Checkout URI	https://github.com/carologistics/clips_executive.git
VCS Type	git
VCS Version	master
Last Updated	2026-01-07
Dev Status	MAINTAINED
Released	RELEASED
Contributing	Help Wanted (-) Good First Issues (-) Pull Requests to Review (-)

Package Description

NEXTFLAP temporal planner integrated into Unified Planning.

Maintainers

Tarik Viehmann

Authors

Vercher Oscar Sapena Vercher

cx_up_nextflap

This wraps the temporal and numeric planner NEXTFLAP and it’s integration into the unified planning framework for easy deployment in ROS (source).

NEXTFLAP utilizes SMT solving via th z3 theorem prover. This wrapper is accompanied by the cx_z3_vendor package, which bundles a version that should work well with NEXTFLAP.

The both the original project and this one are licensed under Apache-2.0 license.

Original Description

This is the NEXTFLAP UP integrator. NEXTFLAP is an expressive temporal and numeric planner supporting planning problems involving Boolean and numeric state variables, instantaneous and durative actions. A distinctive feature of NEXTFLAP is the ability to reason over problems with a prevalent numeric structure, which may involve linear and non-linear numeric conditions and effects. NEXTFLAP favors the capability of modeling expressive problems; indeed it handles negative and disjunctive preconditions as well as existential and universal expressions. NEXTFLAP can be used as a satisficing planner and as a partial-order plan validator. NEXTFLAP is written completely in C++. NEXTFLAP is a numeric extension of TFLAP planner, and uses the Z3 Theorem Prover to check the numeric constraints and ensure consistency of plans.

Planning approaches of UP supported

Classical, Numeric and Temporal Planning

Partial-Order Plan Validator

Operative modes of UP currently supported

One shot planning Plan Validator

CHANGELOG

No CHANGELOG found.

Package Dependencies

Deps	Name
	ament_cmake
	ament_lint_auto
	ament_lint_common
	cx_z3_vendor

System Dependencies

No direct system dependencies.

Dependant Packages

No known dependants.

Launch files

No launch files found

Messages

No message files found.

Services

No service files found

Plugins

No plugins found.

Recent questions tagged `cx_up_nextflap` at Robotics Stack Exchange

No version for distro noetic showing jazzy. Known supported distros are highlighted in the buttons above.

cx_up_nextflap package from clips_executive repo

clips_executive cx_bringup cx_clips_env_manager cx_msgs cx_plugin cx_ament_index_plugin cx_config_plugin cx_example_plugin cx_executive_plugin cx_file_load_plugin cx_protobuf_plugin cx_ros_msgs_plugin cx_ros_param_plugin cx_tf2_pose_tracker_plugin cx_ros_comm_gen cx_tutorial_agents cx_utils cx_pddl_bringup cx_pddl_clips cx_pddl_manager cx_pddl_msgs cx_up_nextflap cx_z3_vendor cx_rl_clips cx_rl_gym cx_rl_interfaces cx_rl_multi_robot_mppo

ROS Distro
jazzy

Package Summary

Version	0.0.0
License	Apache-2.0
Build type	AMENT_CMAKE
Use	RECOMMENDED

Repository Summary

Checkout URI	https://github.com/carologistics/clips_executive.git
VCS Type	git
VCS Version	master
Last Updated	2026-01-07
Dev Status	MAINTAINED
Released	RELEASED
Contributing	Help Wanted (-) Good First Issues (-) Pull Requests to Review (-)

Package Description

NEXTFLAP temporal planner integrated into Unified Planning.

Maintainers

Tarik Viehmann

Authors

Vercher Oscar Sapena Vercher

cx_up_nextflap

This wraps the temporal and numeric planner NEXTFLAP and it’s integration into the unified planning framework for easy deployment in ROS (source).

NEXTFLAP utilizes SMT solving via th z3 theorem prover. This wrapper is accompanied by the cx_z3_vendor package, which bundles a version that should work well with NEXTFLAP.

The both the original project and this one are licensed under Apache-2.0 license.

Original Description

This is the NEXTFLAP UP integrator. NEXTFLAP is an expressive temporal and numeric planner supporting planning problems involving Boolean and numeric state variables, instantaneous and durative actions. A distinctive feature of NEXTFLAP is the ability to reason over problems with a prevalent numeric structure, which may involve linear and non-linear numeric conditions and effects. NEXTFLAP favors the capability of modeling expressive problems; indeed it handles negative and disjunctive preconditions as well as existential and universal expressions. NEXTFLAP can be used as a satisficing planner and as a partial-order plan validator. NEXTFLAP is written completely in C++. NEXTFLAP is a numeric extension of TFLAP planner, and uses the Z3 Theorem Prover to check the numeric constraints and ensure consistency of plans.

Planning approaches of UP supported

Classical, Numeric and Temporal Planning

Partial-Order Plan Validator

Operative modes of UP currently supported

One shot planning Plan Validator

CHANGELOG

No CHANGELOG found.

Package Dependencies

Deps	Name
	ament_cmake
	ament_lint_auto
	ament_lint_common
	cx_z3_vendor

System Dependencies

No direct system dependencies.

Dependant Packages

No known dependants.

Launch files

No launch files found

Messages

No message files found.

Services

No service files found

Plugins

No plugins found.

Recent questions tagged `cx_up_nextflap` at Robotics Stack Exchange