projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ad45485) | patch
Add more sophisticated floating-point sampler (#2155)
authorAndres Noetzli <andres.noetzli@gmail.com>
Sun, 8 Jul 2018 20:38:45 +0000 (13:38 -0700)
committerGitHub <noreply@github.com>
Sun, 8 Jul 2018 20:38:45 +0000 (13:38 -0700)
commit86d9ba4431108e1fd89639e23857631a7380a005
tree81e57f2b4594f6e4f80533a00789ece362b93da3tree
parentad454857a1f57386f7b132c01ad460750ca8d3aacommit | diff
Add more sophisticated floating-point sampler (#2155)

This commit adds a floating-point sampler inspired by PyMPF [0]. It also
creates a new Sampler class that can be used for creating random values
of different sorts (currently BV and FP values).

[0] https://github.com/florianschanda/PyMPF
src/options/quantifiers_options.toml diff | blob | history
src/theory/quantifiers/sygus_sampler.cpp diff | blob | history
src/util/Makefile.am diff | blob | history
src/util/sampler.cpp [new file with mode: 0644] blob
src/util/sampler.h [new file with mode: 0644] blob