View on GitHub


a Choco extension for Declarative Statistics

syat-choco Logo

syat-choco is a Choco extension for Declarative Statistics.

Syādvāda, in Jaina metaphysics, the doctrine that all judgments are conditional, holding good only in certain conditions, circumstances, or senses, expressed by the word syāt (Sanskrit: “may be”). The ways of looking at a thing (called naya) are infinite in number.

For more information, please consult our Wiki.

Maven release:


Maven latest snapshot:


How to download SNAPSHOT version from maven SNAPSHOT repository?

Current release:

Quick start

Install Ibex as discussed here.

Assuming Ibex libraries have been installed in


download syat-choco-1.0.0 with dependencies and run

java -cp ./syat-choco-1.0.0-shaded.jar -Djava.library.path=/Users/[username]/ibex/ibex-2.3.4/lib/lib/ org.chocosolver.samples.statistical.t.TTest

You should obtain the following output for the Student t test example

TTest example - observations: [8, 14, 6, 12, 12, 9, 10, 9, 10, 5]
Confidence interval for the mean: [8, 9, 10, 11]

You must provide an absolute path as -Djava.library.path= argument.


This project has been supported by

About the author

syat-choco is maintained by Roberto Rossi, Reader at the University of Edinburgh.