pvs
Here are 20 public repositories matching this topic...
Recopilación de cursos de razonamiento automático.
-
Updated
Jun 24, 2022
Java chess AI using Principal Variation Splitting, Piece Square Tables, Opening Book and Tapered Evaluation.
-
Updated
Dec 15, 2022 - Java
Курсовой проект по Проектированию вычислительных сетей, 3 семестр магистратуры ИУ7 МГТУ им Баумана
-
Updated
Mar 8, 2019 - C
-
Updated
Feb 11, 2021 - Dockerfile
Bitboard chess engine that uses an NNUE model for node evaluation inside a PVS search. Move tables and plain magic bitboards are used for move generation
-
Updated
Jul 9, 2022 - C++
A program made to play a generalized version of connect 4 perfectly
-
Updated
Sep 3, 2023 - Java
Verifying Multi-party Authentication Using Rank Functions and PVS
-
Updated
Mar 15, 2022
Đây là hình ảnh lớp 12A2 cũng như là kết quả đậu đại học! Chúc mọi người hạnh phúc với con đường mình đã chọn...
-
Updated
Oct 4, 2023 - SCSS
This repository holds a requirements document for an Isolette system. The requirements were proven complete using a theorem prover (PVS - Specification & Verification System)
-
Updated
Nov 7, 2017 - TeX
Open Source occlusion culling engine for 3D Scenes
-
Updated
Jun 23, 2023 - C++
Module to simplify Citrix PVS or MCS based deployments by providing a set of useful helper functions
-
Updated
Jul 30, 2017 - PowerShell
The visilib project aims to provide an efficient and robust C++ library for exact visibility computation in 3D.
-
Updated
Jun 18, 2024 - C++
-
Updated
Aug 8, 2024 - Java
Sanmill is an open-source, UCI-like Mill/Morris/Merrills/Mühle/Malom (and its variants) program with CUI, Flutter GUI and Qt GUI, sharing and freely distributing the code, tools and data needed to deliver this mill game. We do this because we are convinced that open software and open data are key ingredients to make rapid progress.
-
Updated
Aug 9, 2024 - Dart
Chinese Chess(中国象棋) - A Free iOS App(C & Obj-C & Swift)
-
Updated
Sep 12, 2021 - Swift
Improve this page
Add a description, image, and links to the pvs topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the pvs topic, visit your repo's landing page and select "manage topics."