Ruiz Nieto, M. E. (2023). LogicElixir repository (Version 0.1.0) [Computer software]