Appendix: IDP-Z3 developer reference¶
The contents of this reference are intended for people who want to further develop IDP-Z3.
Despite our best efforts, this documentation may not be complete and up-to-date.
The components of IDP-Z3 are shown below.
webIDE client: browser-based application to edit and run IDP-Z3 programs
Interactive Consultant client: browser-based user-friendly decision support application
Read_the_docs : online documentation
IDP-Z3 server: web server for both web applications
IDP-Z3 command line interface
IDP-Z3 solver: performs inferences on IDP-Z3 theories