lectricas

#include <iostream>
#include <vector>
#include <string>
#include <unordered_map>
#include <sstream>

using namespace std;

string insert(string &input, unordered_map<int, string> &sorted) {
    for (int i = 0; i < input.size(); i++) {

lectricas

#include <cstdio>
#include <cctype>
#include <string>
#include <iostream>
#include <vector>
#include <assert.h>
#include <algorithm>
#include <unordered_map>
#include <map>

lectricas

package main.com.company.solver

import kotlin.test.assertFalse
import kotlin.test.assertTrue


class PropositionSolver {
    private var openBranches = 0

    fun solve(test: Prop): Boolean {