CADABRA-SERVER(1) | CADABRA-SERVER(1) |
cadabra-server - the server backend for running Cadabra2 notebooks
cadabra-server
On starting cadabra-server, it will print a port number on stdout, where connections to the cadabra kernel can be made. All interaction with the server is through that port on the localhost interface.
See the web page at https://cadabra.science/ for more information and up-to-date sample notebooks.
Kasper Peeters <info@cadabra.science>
January 22, 2019 |