Search: github.com/Z3Prover | Heykuki News

HK

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

2 years ago

213 points

2.

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

3 months ago

5 points

3.

The Z3 Theorem Prover released under MIT license

github.com/Z3Prover

11 years ago

304 points

4.

The Z3 Theorem Prover

github.com/Z3Prover

7 years ago

____Sash---701_

137 points

5.

The Z3 Theorem Prover

github.com/Z3Prover

6 months ago

35 points

6.

github.com/Z3Prover

8 years ago

6 points

7.

Show HN: A firewall analysis library using the Z3 SMT solver

github.com/Z3Prover

8 years ago

5 points

8.

Z3 Theorem Prover

github.com/Z3Prover

a year ago

3 points

9.

github.com/Z3Prover

8 years ago

3 points

10.

Microsoft: The Z3 Theorem Prover

github.com/Z3Prover

9 years ago

3 points

11.

Z3 Theorem Prover

github.com/Z3Prover

2 years ago

2 points

12.

Show HN: The Z3 theorem can now be built using CMake

github.com/Z3Prover

10 years ago

2 points

13.

Change of Z3 license

github.com/Z3Prover

11 years ago

1 points

14.

github.com/Z3Prover

5 years ago

1 points

15.

github.com/Z3Prover

8 years ago

1 points

16.

Sudoku solver using Z3-Prover

github.com/awkwardbunny

5 years ago

4 points

17.

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

github.com/danielcota

a year ago

2 points

18.

Show HN: Talos – Open-source WASM interpreter for Lean

github.com/cajal-technologies

4 days ago

105 points