projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8298c65) | patch
added a new example for the combination of bit-vectors and arrays (includes model...
authorLiana Hadarean <lianahady@gmail.com>
Sat, 1 Dec 2012 00:37:22 +0000 (00:37 +0000)
committerLiana Hadarean <lianahady@gmail.com>
Sat, 1 Dec 2012 00:37:22 +0000 (00:37 +0000)
commite39b94aa9425123420635c298fa6bb8a2ee4f048
tree13f5a5a0b0e1588c632c69678cf60e448abd438dtree
parent8298c65be9b707775fb1a43ce657c6bc6dd93533commit | diff
added a new example for the combination of bit-vectors and arrays (includes model generation) and set the logic for the bitvector example
examples/api/Makefile.am diff | blob | history
examples/api/bitvectors.cpp diff | blob | history
examples/api/bitvectors_and_arrays.cpp [new file with mode: 0644] blob