Search: github.com/Z3Prover | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Show HN: Allocate poker chips optimally with mixed-integer nonlinear programming (github.com/jstrieb)

213 points

2 years ago

2.

Show HN: Sigil – A new programming language for AI agents

5 points

2 months ago

3.

The Z3 Theorem Prover released under MIT license (github.com/Z3Prover)

304 points

11 years ago

4.

The Z3 Theorem Prover (github.com/Z3Prover)

137 points

____Sash---701_

7 years ago

5.

The Z3 Theorem Prover (github.com/Z3Prover)

35 points

6 months ago

6.

Z3 (github.com/Z3Prover)

6 points

8 years ago

7.

Show HN: A firewall analysis library using the Z3 SMT solver (github.com/Z3Prover)

5 points

8 years ago

8.

Z3 Theorem Prover (github.com/Z3Prover)

3 points

a year ago

9.

Z3 (github.com/Z3Prover)

3 points

8 years ago

10.

Microsoft: The Z3 Theorem Prover (github.com/Z3Prover)

3 points

9 years ago

11.

Z3 Theorem Prover (github.com/Z3Prover)

2 points

2 years ago

12.

Show HN: The Z3 theorem can now be built using CMake (github.com/Z3Prover)

2 points

10 years ago

13.

Change of Z3 license (github.com/Z3Prover)

1 point

11 years ago

14.

Z3 (github.com/Z3Prover)

1 point

5 years ago

15.

Z3 (github.com/Z3Prover)

1 point

8 years ago

16.

Sudoku solver using Z3-Prover (github.com/awkwardbunny)

4 points

5 years ago

17.

Show HN: Biski64 – Fast PRNG (~.40ns/call), Passes BigCrush/PractRand, Injective (github.com/danielcota)

2 points

a year ago