cx_z3_vendor

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

Z3 version that works fine with NEXTFLAP planner

Maintainers

Tarik Viehmann

Authors

No additional authors.

cx_z3_vendor

Provides a specific version of the z3 solver (https://github.com/Z3Prover/z3), which works fine in combination with the NEXTFLAP planner.

Apparently, new versions of z3 are unable to solve the smt problems emitted by NEXTFLAP for finding temporal plans. In order to identify the issue, changes of default parameters reverted and newer features were disabled without success.

Hence, this package provides a legacy version that is capable of solving the problems emitted by the planner.

The z3 solver itself is licensed under MIT, this vendor utilizes the Apache-2.0 license.

Usage

CLI

Simply run z3:

z3

Shared Libraries

in CMake:

find_package(cx_z3_vendor)
find_package(Z3)

...

target_link_libraries(<target> PUBLIC z3::libz3)

CHANGELOG

No CHANGELOG found.

Package Dependencies

Deps	Name
	ament_cmake
	ament_lint_auto
	ament_lint_common

System Dependencies

No direct system dependencies.

Dependant Packages

Name	Deps
cx_up_nextflap

Launch files

No launch files found

Messages

No message files found.

Services

No service files found

Plugins

No plugins found.

Recent questions tagged `cx_z3_vendor` at Robotics Stack Exchange

cx_z3_vendor 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

Z3 version that works fine with NEXTFLAP planner

Maintainers

Tarik Viehmann

Authors

No additional authors.

cx_z3_vendor

Provides a specific version of the z3 solver (https://github.com/Z3Prover/z3), which works fine in combination with the NEXTFLAP planner.

Apparently, new versions of z3 are unable to solve the smt problems emitted by NEXTFLAP for finding temporal plans. In order to identify the issue, changes of default parameters reverted and newer features were disabled without success.

Hence, this package provides a legacy version that is capable of solving the problems emitted by the planner.

The z3 solver itself is licensed under MIT, this vendor utilizes the Apache-2.0 license.

Usage

CLI

Simply run z3:

z3

Shared Libraries

in CMake:

find_package(cx_z3_vendor)
find_package(Z3)

...

target_link_libraries(<target> PUBLIC z3::libz3)

CHANGELOG

No CHANGELOG found.

Package Dependencies

Deps	Name
	ament_cmake
	ament_lint_auto
	ament_lint_common

System Dependencies

No direct system dependencies.

Dependant Packages

Name	Deps
cx_up_nextflap

Launch files

No launch files found

Messages

No message files found.

Services

No service files found

Plugins

No plugins found.

Recent questions tagged `cx_z3_vendor` at Robotics Stack Exchange

cx_z3_vendor 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

Z3 version that works fine with NEXTFLAP planner

Maintainers

Tarik Viehmann

Authors

No additional authors.

cx_z3_vendor

Provides a specific version of the z3 solver (https://github.com/Z3Prover/z3), which works fine in combination with the NEXTFLAP planner.

Apparently, new versions of z3 are unable to solve the smt problems emitted by NEXTFLAP for finding temporal plans. In order to identify the issue, changes of default parameters reverted and newer features were disabled without success.

Hence, this package provides a legacy version that is capable of solving the problems emitted by the planner.

The z3 solver itself is licensed under MIT, this vendor utilizes the Apache-2.0 license.

Usage

CLI

Simply run z3:

z3

Shared Libraries

in CMake:

find_package(cx_z3_vendor)
find_package(Z3)

...

target_link_libraries(<target> PUBLIC z3::libz3)

CHANGELOG

No CHANGELOG found.

Package Dependencies

Deps	Name
	ament_cmake
	ament_lint_auto
	ament_lint_common

System Dependencies

No direct system dependencies.

Dependant Packages

Name	Deps
cx_up_nextflap

Launch files

No launch files found

Messages

No message files found.

Services

No service files found

Plugins

No plugins found.

Recent questions tagged `cx_z3_vendor` at Robotics Stack Exchange

cx_z3_vendor 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

Z3 version that works fine with NEXTFLAP planner

Maintainers

Tarik Viehmann

Authors

No additional authors.

cx_z3_vendor

Provides a specific version of the z3 solver (https://github.com/Z3Prover/z3), which works fine in combination with the NEXTFLAP planner.

Apparently, new versions of z3 are unable to solve the smt problems emitted by NEXTFLAP for finding temporal plans. In order to identify the issue, changes of default parameters reverted and newer features were disabled without success.

Hence, this package provides a legacy version that is capable of solving the problems emitted by the planner.

The z3 solver itself is licensed under MIT, this vendor utilizes the Apache-2.0 license.

Usage

CLI

Simply run z3:

z3

Shared Libraries

in CMake:

find_package(cx_z3_vendor)
find_package(Z3)

...

target_link_libraries(<target> PUBLIC z3::libz3)

CHANGELOG

No CHANGELOG found.

Package Dependencies

Deps	Name
	ament_cmake
	ament_lint_auto
	ament_lint_common

System Dependencies

No direct system dependencies.

Dependant Packages

Name	Deps
cx_up_nextflap

Launch files

No launch files found

Messages

No message files found.

Services

No service files found

Plugins

No plugins found.

Recent questions tagged `cx_z3_vendor` at Robotics Stack Exchange

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

cx_z3_vendor 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

Z3 version that works fine with NEXTFLAP planner

Maintainers

Tarik Viehmann

Authors

No additional authors.

cx_z3_vendor

Provides a specific version of the z3 solver (https://github.com/Z3Prover/z3), which works fine in combination with the NEXTFLAP planner.

Apparently, new versions of z3 are unable to solve the smt problems emitted by NEXTFLAP for finding temporal plans. In order to identify the issue, changes of default parameters reverted and newer features were disabled without success.

Hence, this package provides a legacy version that is capable of solving the problems emitted by the planner.

The z3 solver itself is licensed under MIT, this vendor utilizes the Apache-2.0 license.

Usage

CLI

Simply run z3:

z3

Shared Libraries

in CMake:

find_package(cx_z3_vendor)
find_package(Z3)

...

target_link_libraries(<target> PUBLIC z3::libz3)

CHANGELOG

No CHANGELOG found.

Package Dependencies

Deps	Name
	ament_cmake
	ament_lint_auto
	ament_lint_common

System Dependencies

No direct system dependencies.

Dependant Packages

Name	Deps
cx_up_nextflap

Launch files

No launch files found

Messages

No message files found.

Services

No service files found

Plugins

No plugins found.

Recent questions tagged `cx_z3_vendor` at Robotics Stack Exchange

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

cx_z3_vendor 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

Z3 version that works fine with NEXTFLAP planner

Maintainers

Tarik Viehmann

Authors

No additional authors.

cx_z3_vendor

Provides a specific version of the z3 solver (https://github.com/Z3Prover/z3), which works fine in combination with the NEXTFLAP planner.

Apparently, new versions of z3 are unable to solve the smt problems emitted by NEXTFLAP for finding temporal plans. In order to identify the issue, changes of default parameters reverted and newer features were disabled without success.

Hence, this package provides a legacy version that is capable of solving the problems emitted by the planner.

The z3 solver itself is licensed under MIT, this vendor utilizes the Apache-2.0 license.

Usage

CLI

Simply run z3:

z3

Shared Libraries

in CMake:

find_package(cx_z3_vendor)
find_package(Z3)

...

target_link_libraries(<target> PUBLIC z3::libz3)

CHANGELOG

No CHANGELOG found.

Package Dependencies

Deps	Name
	ament_cmake
	ament_lint_auto
	ament_lint_common

System Dependencies

No direct system dependencies.

Dependant Packages

Name	Deps
cx_up_nextflap

Launch files

No launch files found

Messages

No message files found.

Services

No service files found

Plugins

No plugins found.

Recent questions tagged `cx_z3_vendor` at Robotics Stack Exchange

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

cx_z3_vendor 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

Z3 version that works fine with NEXTFLAP planner

Maintainers

Tarik Viehmann

Authors

No additional authors.

cx_z3_vendor

Provides a specific version of the z3 solver (https://github.com/Z3Prover/z3), which works fine in combination with the NEXTFLAP planner.

Apparently, new versions of z3 are unable to solve the smt problems emitted by NEXTFLAP for finding temporal plans. In order to identify the issue, changes of default parameters reverted and newer features were disabled without success.

Hence, this package provides a legacy version that is capable of solving the problems emitted by the planner.

The z3 solver itself is licensed under MIT, this vendor utilizes the Apache-2.0 license.

Usage

CLI

Simply run z3:

z3

Shared Libraries

in CMake:

find_package(cx_z3_vendor)
find_package(Z3)

...

target_link_libraries(<target> PUBLIC z3::libz3)

CHANGELOG

No CHANGELOG found.

Package Dependencies

Deps	Name
	ament_cmake
	ament_lint_auto
	ament_lint_common

System Dependencies

No direct system dependencies.

Dependant Packages

Name	Deps
cx_up_nextflap

Launch files

No launch files found

Messages

No message files found.

Services

No service files found

Plugins

No plugins found.

Recent questions tagged `cx_z3_vendor` at Robotics Stack Exchange

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

cx_z3_vendor 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

Z3 version that works fine with NEXTFLAP planner

Maintainers

Tarik Viehmann

Authors

No additional authors.

cx_z3_vendor

Provides a specific version of the z3 solver (https://github.com/Z3Prover/z3), which works fine in combination with the NEXTFLAP planner.

Apparently, new versions of z3 are unable to solve the smt problems emitted by NEXTFLAP for finding temporal plans. In order to identify the issue, changes of default parameters reverted and newer features were disabled without success.

Hence, this package provides a legacy version that is capable of solving the problems emitted by the planner.

The z3 solver itself is licensed under MIT, this vendor utilizes the Apache-2.0 license.

Usage

CLI

Simply run z3:

z3

Shared Libraries

in CMake:

find_package(cx_z3_vendor)
find_package(Z3)

...

target_link_libraries(<target> PUBLIC z3::libz3)

CHANGELOG

No CHANGELOG found.

Package Dependencies

Deps	Name
	ament_cmake
	ament_lint_auto
	ament_lint_common

System Dependencies

No direct system dependencies.

Dependant Packages

Name	Deps
cx_up_nextflap

Launch files

No launch files found

Messages

No message files found.

Services

No service files found

Plugins

No plugins found.

Recent questions tagged `cx_z3_vendor` at Robotics Stack Exchange

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

cx_z3_vendor 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

Z3 version that works fine with NEXTFLAP planner

Maintainers

Tarik Viehmann

Authors

No additional authors.

cx_z3_vendor

Provides a specific version of the z3 solver (https://github.com/Z3Prover/z3), which works fine in combination with the NEXTFLAP planner.

Apparently, new versions of z3 are unable to solve the smt problems emitted by NEXTFLAP for finding temporal plans. In order to identify the issue, changes of default parameters reverted and newer features were disabled without success.

Hence, this package provides a legacy version that is capable of solving the problems emitted by the planner.

The z3 solver itself is licensed under MIT, this vendor utilizes the Apache-2.0 license.

Usage

CLI

Simply run z3:

z3

Shared Libraries

in CMake:

find_package(cx_z3_vendor)
find_package(Z3)

...

target_link_libraries(<target> PUBLIC z3::libz3)

CHANGELOG

No CHANGELOG found.

Package Dependencies

Deps	Name
	ament_cmake
	ament_lint_auto
	ament_lint_common

System Dependencies

No direct system dependencies.

Dependant Packages

Name	Deps
cx_up_nextflap

Launch files

No launch files found

Messages

No message files found.

Services

No service files found

Plugins

No plugins found.

Recent questions tagged `cx_z3_vendor` at Robotics Stack Exchange

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

cx_z3_vendor 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

Z3 version that works fine with NEXTFLAP planner

Maintainers

Tarik Viehmann

Authors

No additional authors.

cx_z3_vendor

Provides a specific version of the z3 solver (https://github.com/Z3Prover/z3), which works fine in combination with the NEXTFLAP planner.

Apparently, new versions of z3 are unable to solve the smt problems emitted by NEXTFLAP for finding temporal plans. In order to identify the issue, changes of default parameters reverted and newer features were disabled without success.

Hence, this package provides a legacy version that is capable of solving the problems emitted by the planner.

The z3 solver itself is licensed under MIT, this vendor utilizes the Apache-2.0 license.

Usage

CLI

Simply run z3:

z3

Shared Libraries

in CMake:

find_package(cx_z3_vendor)
find_package(Z3)

...

target_link_libraries(<target> PUBLIC z3::libz3)

CHANGELOG

No CHANGELOG found.

Package Dependencies

Deps	Name
	ament_cmake
	ament_lint_auto
	ament_lint_common

System Dependencies

No direct system dependencies.

Dependant Packages

Name	Deps
cx_up_nextflap

Launch files

No launch files found

Messages

No message files found.

Services

No service files found

Plugins

No plugins found.

Recent questions tagged `cx_z3_vendor` at Robotics Stack Exchange

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

cx_z3_vendor 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

Z3 version that works fine with NEXTFLAP planner

Maintainers

Tarik Viehmann

Authors

No additional authors.

cx_z3_vendor

Provides a specific version of the z3 solver (https://github.com/Z3Prover/z3), which works fine in combination with the NEXTFLAP planner.

Apparently, new versions of z3 are unable to solve the smt problems emitted by NEXTFLAP for finding temporal plans. In order to identify the issue, changes of default parameters reverted and newer features were disabled without success.

Hence, this package provides a legacy version that is capable of solving the problems emitted by the planner.

The z3 solver itself is licensed under MIT, this vendor utilizes the Apache-2.0 license.

Usage

CLI

Simply run z3:

z3

Shared Libraries

in CMake:

find_package(cx_z3_vendor)
find_package(Z3)

...

target_link_libraries(<target> PUBLIC z3::libz3)

CHANGELOG

No CHANGELOG found.

Package Dependencies

Deps	Name
	ament_cmake
	ament_lint_auto
	ament_lint_common

System Dependencies

No direct system dependencies.

Dependant Packages

Name	Deps
cx_up_nextflap

Launch files

No launch files found

Messages

No message files found.

Services

No service files found

Plugins

No plugins found.

Recent questions tagged `cx_z3_vendor` at Robotics Stack Exchange

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

cx_z3_vendor 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

Z3 version that works fine with NEXTFLAP planner

Maintainers

Tarik Viehmann

Authors

No additional authors.

cx_z3_vendor

Provides a specific version of the z3 solver (https://github.com/Z3Prover/z3), which works fine in combination with the NEXTFLAP planner.

Apparently, new versions of z3 are unable to solve the smt problems emitted by NEXTFLAP for finding temporal plans. In order to identify the issue, changes of default parameters reverted and newer features were disabled without success.

Hence, this package provides a legacy version that is capable of solving the problems emitted by the planner.

The z3 solver itself is licensed under MIT, this vendor utilizes the Apache-2.0 license.

Usage

CLI

Simply run z3:

z3

Shared Libraries

in CMake:

find_package(cx_z3_vendor)
find_package(Z3)

...

target_link_libraries(<target> PUBLIC z3::libz3)

CHANGELOG

No CHANGELOG found.

Package Dependencies

Deps	Name
	ament_cmake
	ament_lint_auto
	ament_lint_common

System Dependencies

No direct system dependencies.

Dependant Packages

Name	Deps
cx_up_nextflap

Launch files

No launch files found

Messages

No message files found.

Services

No service files found

Plugins

No plugins found.

Recent questions tagged `cx_z3_vendor` at Robotics Stack Exchange

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

cx_z3_vendor 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

Z3 version that works fine with NEXTFLAP planner

Maintainers

Tarik Viehmann

Authors

No additional authors.

cx_z3_vendor

Provides a specific version of the z3 solver (https://github.com/Z3Prover/z3), which works fine in combination with the NEXTFLAP planner.

Apparently, new versions of z3 are unable to solve the smt problems emitted by NEXTFLAP for finding temporal plans. In order to identify the issue, changes of default parameters reverted and newer features were disabled without success.

Hence, this package provides a legacy version that is capable of solving the problems emitted by the planner.

The z3 solver itself is licensed under MIT, this vendor utilizes the Apache-2.0 license.

Usage

CLI

Simply run z3:

z3

Shared Libraries

in CMake:

find_package(cx_z3_vendor)
find_package(Z3)

...

target_link_libraries(<target> PUBLIC z3::libz3)

CHANGELOG

No CHANGELOG found.

Package Dependencies

Deps	Name
	ament_cmake
	ament_lint_auto
	ament_lint_common

System Dependencies

No direct system dependencies.

Dependant Packages

Name	Deps
cx_up_nextflap

Launch files

No launch files found

Messages

No message files found.

Services

No service files found

Plugins

No plugins found.

Recent questions tagged `cx_z3_vendor` at Robotics Stack Exchange

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

cx_z3_vendor 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

Z3 version that works fine with NEXTFLAP planner

Maintainers

Tarik Viehmann

Authors

No additional authors.

cx_z3_vendor

Provides a specific version of the z3 solver (https://github.com/Z3Prover/z3), which works fine in combination with the NEXTFLAP planner.

Apparently, new versions of z3 are unable to solve the smt problems emitted by NEXTFLAP for finding temporal plans. In order to identify the issue, changes of default parameters reverted and newer features were disabled without success.

Hence, this package provides a legacy version that is capable of solving the problems emitted by the planner.

The z3 solver itself is licensed under MIT, this vendor utilizes the Apache-2.0 license.

Usage

CLI

Simply run z3:

z3

Shared Libraries

in CMake:

find_package(cx_z3_vendor)
find_package(Z3)

...

target_link_libraries(<target> PUBLIC z3::libz3)

CHANGELOG

No CHANGELOG found.

Package Dependencies

Deps	Name
	ament_cmake
	ament_lint_auto
	ament_lint_common

System Dependencies

No direct system dependencies.

Dependant Packages

Name	Deps
cx_up_nextflap

Launch files

No launch files found

Messages

No message files found.

Services

No service files found

Plugins

No plugins found.

Recent questions tagged `cx_z3_vendor` at Robotics Stack Exchange

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

cx_z3_vendor 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

Z3 version that works fine with NEXTFLAP planner

Maintainers

Tarik Viehmann

Authors

No additional authors.

cx_z3_vendor

Provides a specific version of the z3 solver (https://github.com/Z3Prover/z3), which works fine in combination with the NEXTFLAP planner.

Apparently, new versions of z3 are unable to solve the smt problems emitted by NEXTFLAP for finding temporal plans. In order to identify the issue, changes of default parameters reverted and newer features were disabled without success.

Hence, this package provides a legacy version that is capable of solving the problems emitted by the planner.

The z3 solver itself is licensed under MIT, this vendor utilizes the Apache-2.0 license.

Usage

CLI

Simply run z3:

z3

Shared Libraries

in CMake:

find_package(cx_z3_vendor)
find_package(Z3)

...

target_link_libraries(<target> PUBLIC z3::libz3)

CHANGELOG

No CHANGELOG found.

Package Dependencies

Deps	Name
	ament_cmake
	ament_lint_auto
	ament_lint_common

System Dependencies

No direct system dependencies.

Dependant Packages

Name	Deps
cx_up_nextflap

Launch files

No launch files found

Messages

No message files found.

Services

No service files found

Plugins

No plugins found.

Recent questions tagged `cx_z3_vendor` at Robotics Stack Exchange

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

cx_z3_vendor 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

Z3 version that works fine with NEXTFLAP planner

Maintainers

Tarik Viehmann

Authors

No additional authors.

cx_z3_vendor

Provides a specific version of the z3 solver (https://github.com/Z3Prover/z3), which works fine in combination with the NEXTFLAP planner.

Apparently, new versions of z3 are unable to solve the smt problems emitted by NEXTFLAP for finding temporal plans. In order to identify the issue, changes of default parameters reverted and newer features were disabled without success.

Hence, this package provides a legacy version that is capable of solving the problems emitted by the planner.

The z3 solver itself is licensed under MIT, this vendor utilizes the Apache-2.0 license.

Usage

CLI

Simply run z3:

z3

Shared Libraries

in CMake:

find_package(cx_z3_vendor)
find_package(Z3)

...

target_link_libraries(<target> PUBLIC z3::libz3)

CHANGELOG

No CHANGELOG found.

Package Dependencies

Deps	Name
	ament_cmake
	ament_lint_auto
	ament_lint_common

System Dependencies

No direct system dependencies.

Dependant Packages

Name	Deps
cx_up_nextflap

Launch files

No launch files found

Messages

No message files found.

Services

No service files found

Plugins

No plugins found.

Recent questions tagged `cx_z3_vendor` at Robotics Stack Exchange

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

cx_z3_vendor 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

Z3 version that works fine with NEXTFLAP planner

Maintainers

Tarik Viehmann

Authors

No additional authors.

cx_z3_vendor

Provides a specific version of the z3 solver (https://github.com/Z3Prover/z3), which works fine in combination with the NEXTFLAP planner.

Apparently, new versions of z3 are unable to solve the smt problems emitted by NEXTFLAP for finding temporal plans. In order to identify the issue, changes of default parameters reverted and newer features were disabled without success.

Hence, this package provides a legacy version that is capable of solving the problems emitted by the planner.

The z3 solver itself is licensed under MIT, this vendor utilizes the Apache-2.0 license.

Usage

CLI

Simply run z3:

z3

Shared Libraries

in CMake:

find_package(cx_z3_vendor)
find_package(Z3)

...

target_link_libraries(<target> PUBLIC z3::libz3)

CHANGELOG

No CHANGELOG found.

Package Dependencies

Deps	Name
	ament_cmake
	ament_lint_auto
	ament_lint_common

System Dependencies

No direct system dependencies.

Dependant Packages

Name	Deps
cx_up_nextflap

Launch files

No launch files found

Messages

No message files found.

Services

No service files found

Plugins

No plugins found.

Recent questions tagged `cx_z3_vendor` at Robotics Stack Exchange

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

cx_z3_vendor 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

Z3 version that works fine with NEXTFLAP planner

Maintainers

Tarik Viehmann

Authors

No additional authors.

cx_z3_vendor

Provides a specific version of the z3 solver (https://github.com/Z3Prover/z3), which works fine in combination with the NEXTFLAP planner.

Apparently, new versions of z3 are unable to solve the smt problems emitted by NEXTFLAP for finding temporal plans. In order to identify the issue, changes of default parameters reverted and newer features were disabled without success.

Hence, this package provides a legacy version that is capable of solving the problems emitted by the planner.

The z3 solver itself is licensed under MIT, this vendor utilizes the Apache-2.0 license.

Usage

CLI

Simply run z3:

z3

Shared Libraries

in CMake:

find_package(cx_z3_vendor)
find_package(Z3)

...

target_link_libraries(<target> PUBLIC z3::libz3)

CHANGELOG

No CHANGELOG found.

Package Dependencies

Deps	Name
	ament_cmake
	ament_lint_auto
	ament_lint_common

System Dependencies

No direct system dependencies.

Dependant Packages

Name	Deps
cx_up_nextflap

Launch files

No launch files found

Messages

No message files found.

Services

No service files found

Plugins

No plugins found.

Recent questions tagged `cx_z3_vendor` at Robotics Stack Exchange

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

cx_z3_vendor 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

Z3 version that works fine with NEXTFLAP planner

Maintainers

Tarik Viehmann

Authors

No additional authors.

cx_z3_vendor

Provides a specific version of the z3 solver (https://github.com/Z3Prover/z3), which works fine in combination with the NEXTFLAP planner.

Apparently, new versions of z3 are unable to solve the smt problems emitted by NEXTFLAP for finding temporal plans. In order to identify the issue, changes of default parameters reverted and newer features were disabled without success.

Hence, this package provides a legacy version that is capable of solving the problems emitted by the planner.

The z3 solver itself is licensed under MIT, this vendor utilizes the Apache-2.0 license.

Usage

CLI

Simply run z3:

z3

Shared Libraries

in CMake:

find_package(cx_z3_vendor)
find_package(Z3)

...

target_link_libraries(<target> PUBLIC z3::libz3)

CHANGELOG

No CHANGELOG found.

Package Dependencies

Deps	Name
	ament_cmake
	ament_lint_auto
	ament_lint_common

System Dependencies

No direct system dependencies.

Dependant Packages

Name	Deps
cx_up_nextflap

Launch files

No launch files found

Messages

No message files found.

Services

No service files found

Plugins

No plugins found.

Recent questions tagged `cx_z3_vendor` at Robotics Stack Exchange