////
  // Copyright (c) 2021, 2026 Contributors to the Eclipse Foundation
  //
  // This program and the accompanying materials are made
  // available under the terms of the Eclipse Public License 2.0
  // which is available at https://www.eclipse.org/legal/epl-2.0/
  //
  // SPDX-License-Identifier: EPL-2.0
////

include::_initCommon.adoc[]

// Enable custom style in _main-docinfo.html
:docinfo:

= pass:normal[Logistics Specification and Analysis Tool ({lsat}) User Guide]

include::introduction.adoc[]

ifdef::user-guide-web[]
TIP: The user guide can also be link:lsat-user-guide.pdf[downloaded as a PDF].
endif::user-guide-web[]

<<<

include::eclipse-product.adoc[]

<<<

include::motion-calculator.adoc[]

<<<

include::logistics-specification.adoc[]

<<<

[[parameterized-activities-details]]
include::parameterized-activities.adoc[]

<<<

include::graphical-viewers.adoc[]

<<<

include::schedule-activities.adoc[]

<<<

include::througput-per-resource.adoc[]

<<<

include::dispatching-generation.adoc[]

<<<

include::conformance-check.adoc[]

<<<

include::maxplus-specification.adoc[]

<<<

include::graphml-generation.adoc[]

<<<

include::api.adoc[]

<<<

include::twilight.adoc[]

<<<

include::execution_engine.adoc[]

<<<

include::release-notes.adoc[]
