Appendix: IDP-Z3 internal reference¶
This reference is only intended for the core IDP-Z3 development team. If you do not work on the IDP-Z3 engine itself, but just want to use it in your applications, please use our Python API instead.
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 engine: performs reasoning on IDP-Z3 theories