A TUI client for different objectives solving.