Approximate model counting for SAT using Monte Carlo estimation methods. This is a hybrid Python/C++ project that uses the CaDiCaL SAT solver for core solving functionality. approximate-model-counting ...

A deep learning project for binary image Segmentation with object counting. Built with PyTorch. python train.py \ --data_dir YourDataset \ --model attention_unet \ --epochs 150 \ --batch_size 4 \ --lr ...