The Answer Set Programming (ASP) modulo difference logic encodings and instances presented in the PADL 2023 paper Flexible Job-shop Scheduling for Semiconductor Manufacturing with Hybrid Answer Set Programming (Application Paper) are provided in the PADL-2023 folder.
Our implementation extending the former work by partially flexible machine assignment strategies, batch processing, and multi-objective optimization is contained in the Multi-objective_Optimization folder.