Z

Z3

Settings | Report Duplicate

0

I Use This!

High Activity

Commits : Listings

Analyzed 3 days ago. based on code collected 3 days ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Aug 19, 2024 — Aug 19, 2025 Showing page 600 of 663 Search / Filter on:
add to_string and get_help methods to optimize API	Nikolaj Bjorner	More...				over 11 years ago
make lia2card general purpose functions visible	Nikolaj Bjorner	More...				over 11 years ago
Expose objective indices to .NET API	Anh-Dung Phan	More...				over 11 years ago
debugging network simplex	Nikolaj Bjorner	More...				over 11 years ago
change model binding time	Nikolaj Bjorner	More...				over 11 years ago
exception message clarity fix	Christoph M. Wintersteiger	More...				over 11 years ago
expose models, working on network flow	Nikolaj Bjorner	More...				over 11 years ago
Merge branch 'opt' of https://git01.codeplex.com/z3 into opt	Nikolaj Bjorner	More...				over 11 years ago
start working on network flow	Nikolaj Bjorner	More...				over 11 years ago
add back skipped consequences, exposed by fu-malik assertion violation	Nikolaj Bjorner	More...				over 11 years ago
fix leak by commenting out probe experiment	Nikolaj Bjorner	More...				over 11 years ago
bug fixes exposed from regression tests	Nikolaj Bjorner	More...				over 11 years ago
bug fixes exposed from regression tests	Nikolaj Bjorner	More...				over 11 years ago
Merge branch 'unstable' of https://git01.codeplex.com/z3 into fpa-api	Christoph M. Wintersteiger	More...				over 11 years ago
fix bug in conflict resoltion tracking decision variables	Nikolaj Bjorner	More...				over 11 years ago
add .NET interface and finish C interface for optimization	Nikolaj Bjorner	More...				over 11 years ago
exposing lower/upper	Nikolaj Bjorner	More...				over 11 years ago
backfilling API functions	Nikolaj Bjorner	More...				over 11 years ago
add sketch of C-based API	Nikolaj Bjorner	More...				over 11 years ago
adjust parsing	Nikolaj Bjorner	More...				over 11 years ago
reorganizing input	Nikolaj Bjorner	More...				over 11 years ago
tweaking input processing	Nikolaj Bjorner	More...				over 11 years ago
Nits	Nikolaj Bjorner	More...				over 11 years ago
change verbosity level	Nikolaj Bjorner	More...				over 11 years ago
debugging multi-objective interface and pb revisions	Nikolaj Bjorner	More...				over 11 years ago
debugging multi-objective interface and pb revisions	Nikolaj Bjorner	More...				over 11 years ago
use expression structure for objectives instead of custom s-expression	Nikolaj Bjorner	More...				over 11 years ago
add expression conversion	Nikolaj Bjorner	More...				over 11 years ago
working on duality	Kenneth McMillan as Ken McMillan	More...				over 11 years ago
Add push/pop to box optimization	Anh-Dung Phan	More...				over 11 years ago

←
1
2
…
596
597
598
599
600
601
602
603
604
…
662
663
→