Z

Z3

Settings | Report Duplicate

0

I Use This!

High Activity

Commits : Listings

Analyzed 1 day ago. based on code collected 1 day ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Aug 18, 2024 — Aug 18, 2025 Showing page 603 of 663 Search / Filter on:
fixes to pb solver	Nikolaj Bjorner	More...				almost 12 years ago
Fix termination conditions on core_maxsat	Anh-Dung Phan	More...				almost 12 years ago
working on eq-propagate rule in interpolation	Kenneth McMillan as Ken McMillan	More...				almost 12 years ago
Fix bugs on candidate list pivot rule	Anh-Dung Phan	More...				almost 12 years ago
Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable	Kenneth McMillan as Ken McMillan	More...				almost 12 years ago
fixed memory leak	Christoph M. Wintersteiger	More...				almost 12 years ago
Implement three pivot rules	Anh-Dung Phan	More...				almost 12 years ago
add pb capabilities	Nikolaj Bjorner	More...				almost 12 years ago
add vocabulary for arbitrary PB inequalities	Nikolaj Bjorner	More...				almost 12 years ago
working on core-maxsat	Nikolaj Bjorner	More...				almost 12 years ago
remove duality junk on stdout	Kenneth McMillan as Ken McMillan	More...				almost 12 years ago
adding core-based max-sat	Nikolaj Bjorner	More...				almost 12 years ago
fixed tabs	Christoph M. Wintersteiger	More...				almost 12 years ago
fixed reference to _DEBUG	Christoph M. Wintersteiger	More...				almost 12 years ago
case analysis for commit	Nikolaj Bjorner	More...				almost 12 years ago
bug fixes	Nikolaj Bjorner	More...				almost 12 years ago
nits	Nikolaj Bjorner	More...				almost 12 years ago
fix bounds for weighted maxsmt	Nikolaj Bjorner	More...				almost 12 years ago
enable answer generation	Nikolaj Bjorner	More...				almost 12 years ago
missing	Nikolaj Bjorner	More...				almost 12 years ago
Merge branch 'opt' of https://git01.codeplex.com/z3 into opt	Nikolaj Bjorner	More...				almost 12 years ago
make max-smt solvers generic	Nikolaj Bjorner	More...				almost 12 years ago
Add a vector of edges to handle spanning trees	Anh-Dung Phan	More...				almost 12 years ago
working on supporting multiple max-sat objectives	Nikolaj Bjorner	More...				almost 12 years ago
Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable	Kenneth McMillan as Ken McMillan	More...				almost 12 years ago
handle eq-propagate arithetic rule	Kenneth McMillan as Ken McMillan	More...				almost 12 years ago
working on pareto and upper/lower bound facilities	Nikolaj Bjorner	More...				almost 12 years ago
more refactoring	Nikolaj Bjorner	More...				almost 12 years ago
renaming to optsmt	Nikolaj Bjorner	More...				almost 12 years ago
Changed references to _DEBUG to Z3DEBUG. (gcc does not define _DEBUG for debug builds.)	Christoph M. Wintersteiger	More...				almost 12 years ago

←
1
2
…
599
600
601
602
603
604
605
606
607
…
662
663
→