Este es el comando get_givens que se puede ejecutar en el proveedor de alojamiento gratuito de OnWorks utilizando una de nuestras múltiples estaciones de trabajo en línea gratuitas, como Ubuntu Online, Fedora Online, emulador en línea de Windows o emulador en línea de MAC OS.
PROGRAMA:
NOMBRE
ladr4-apps - aplicaciones LADR4 no documentadas
DESCRIPCIÓN
Algunos programas en el ladr4-aplicaciones El paquete actualmente no tiene páginas de manual. Puedes obtener
documentación sobre algunas de estas aplicaciones a través del prover9 manual, que está disponible en
Sistemas Debian a través del paquete prover9-doc, a
/usr/share/doc/prover9-doc/manual/index.html. Alternativamente, invocando la aplicación con
los -ayuda La opción puede producir documentación. Los parches para agregar páginas de manual son bienvenidos, y
puede enviarse al mantenedor del paquete Debian, cuyos detalles se enumeran a continuación.
Use get_givens en línea usando los servicios de onworks.net
