holmes

★ 305 Open GitHub ↗

A reference library for constraint-solving with propagators and CDCL.

Explore Similar Repositories

CodeBe : CodeBe(码币)是一个是使用angular2整合各种插件的项目，包括（layer，bootstrap-table，markdown编辑器，highcharts，ckeditor，高德地图,fullcalendar 等等）。如果你有什么想要集成的插件，请告诉我，我来加进去。(请给我加个星，谢谢。)
Xaml.Behaviors : Xaml Behaviors for Avalonia
sunsetr : Automatic blue-light filter for Hyprland, Niri, and everything Wayland
jupyterlab-system-monitor : JupyterLab extension to display system metrics
ml-forex-prediction : Predicting Forex Future Price with Machine Learning
// repository documentation