Module to simplify Citrix PVS or MCS based deployments by providing a set of useful helper functions
-
Updated
Jul 30, 2017 - PowerShell
Module to simplify Citrix PVS or MCS based deployments by providing a set of useful helper functions
This repository holds a requirements document for an Isolette system. The requirements were proven complete using a theorem prover (PVS - Specification & Verification System)
Курсовой проект по Проектированию вычислительных сетей, 3 семестр магистратуры ИУ7 МГТУ им Баумана
Chinese Chess(中国象棋) - A Free iOS App(C & Obj-C & Swift)
Verifying Multi-party Authentication Using Rank Functions and PVS
Recopilación de cursos de razonamiento automático.
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
Java chess AI using Principal Variation Splitting, Piece Square Tables, Opening Book and Tapered Evaluation.
Open Source occlusion culling engine for 3D Scenes
A program made to play a generalized version of connect 4 perfectly
Đâ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...
The visilib project aims to provide an efficient and robust C++ library for exact visibility computation in 3D.
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.
Add a description, image, and links to the pvs topic page so that developers can more easily learn about it.
To associate your repository with the pvs topic, visit your repo's landing page and select "manage topics."