erfan-khadem

#include <bits/stdc++.h>

using namespace std;

class two_sat{
	//p is +p, ~p is -p
	typedef pair<int, int> pii;
private:
	vector<vector<int>> adj;
	vector<int> comp;

erfan-khadem

# Warning: This config does not include keys that have an unset value
# ~/.config/starship.toml

format = '''\[$time\] $status$cmd_duration$username@$hostname \[$directory\]
[> ](bold)'''
scan_timeout = 30
command_timeout = 500
add_newline = false

[aws]