cvc5 cvc5 · Discussions · GitHub

8000 cvc5 cvc5 · Discussions · GitHub

More Web Proxy on the site http://driver.im/

Sort by: Latest activity

Categories

Community guidelines

Discussions

You must be logged in to vote

Expected performance of extracting minimal UNSAT core?

alexthomasv asked Jan 6, 2025 in Q&A · Unanswered

1
You must be logged in to vote

Question: Planned User Propagator Support?

JoanEspasa asked Jan 4, 2025 in Q&A · Unanswered

1
You must be logged in to vote

QUESTION: how to do theory propagation between theories

SpencerL-Y asked Dec 19, 2024 in Q&A · Unanswered

1
You must be logged in to vote

getting actual value for floating point sort

classicwuhao asked Dec 21, 2024 in Q&A · Unanswered

0
You must be logged in to vote

How to declare Recursive Functions in cvc5?

srod5125 asked Sep 9, 2024 in Q&A · Unanswered

1
You must be logged in to vote

Theory of Rational Numbers?

guluchen asked Oct 22, 2024 in Q&A · Unanswered

1
You must be logged in to vote

Is there a way of using APIs (Java) to read in an smt2 file ?

classicwuhao asked Mar 19, 2022 in Q&A · Closed · Unanswered

18
You must be logged in to vote

Simple quantifier with array bit vector returns incomplete.

alexthomasv asked Dec 13, 2024 in Q&A · Unanswered

1
You must be logged in to vote

[Question] on the workflow of TheoryProxy and callback functions

SpencerL-Y asked Nov 29, 2024 in Q&A · Closed · Unanswered

0
You must be logged in to vote

Rounding issue with 'cvc5.pythonic. fpToSBV ( rm , x , s , ctx = None )'

Btraube asked Jun 24, 2024 in Q&A · Closed · Unanswered

1
You must be logged in to vote

Usage of skolem ids and skolem indices

kfriedberger asked Nov 3, 2024 in Q&A · Answered

4
You must be logged in to vote

Some questions about --minisat-dump-dimacs.

TraceShadow asked Mar 26, 2024 in Q&A · Closed · Unanswered

1
You must be logged in to vote

[Question]: How can I get statistics about formula periodically?

hagozaebii asked Oct 7, 2024 in Q&A · Unanswered

0
You must be logged in to vote

Question about information --stats-internal

hagozaebii asked Oct 4, 2024 in Q&A · Answered

2
You must be logged in to vote

Questions about --stats-internal

hagozaebii asked Oct 1, 2024 in Q&A · Closed · Answered

3
You must be logged in to vote

There is any pseudo-boolean function available in cvc5?

AntonioNapoliKTH asked Oct 3, 2024 in Q&A · Unanswered

0
You must be logged in to vote

SyGuS vs. Rosette performance

jefftrull asked Apr 3, 2024 in Q&A · Unanswered

4
You must be logged in to vote

[Question]: How can I get learnt clause while solving formula in cvc5?

hagozaebii asked Sep 23, 2024 in Q&A · Closed · Answered

2
You must be logged in to vote

How to get the partitions after using --compute-partitions and append to the original problem?

yflich asked Sep 23, 2024 in Q&A · Answered

2
You must be logged in to vote

[QUESTION]: How to get cvc5 value in python base api without crash?

hagozaebii asked Mar 7, 2024 in Q&A · Unanswered

3
You must be logged in to vote

Support for Weight Attribute from SyGuS 2.1

yanrujhou asked Jul 30, 2024 in Q&A · Unanswered

1
You must be logged in to vote

Report quantifier instantiations according to :qid

xldenis asked Aug 13, 2024 in Q&A · Unanswered

1
You must be logged in to vote

Building CVC5 on Linux for Windows: Dependencies unclear?

kfriedberger asked Apr 16, 2023 in Q&A · Closed · Answered

2
You must be logged in to vote

Linux aarch64 build?

robby-phd started Dec 7, 2023 in General · Closed

3
You must be logged in to vote

CVC5 C API

mister-walter started Oct 21, 2022 in Ideas · Closed

3

0