Command line interface

This library demonstrates how to use a command line interface. The tool underlying this is the Argp library provided by GNU.

---

Last update: July 28, 2023
Created: July 23, 2023